Beefy Boxes and Bandwidth Generously Provided by pair Networks
Clear questions and runnable code
get the best and fastest answer
 
PerlMonks  

Re^4: "-e" and "-d" switches

by RazorbladeBidet (Friar)
on Mar 24, 2005 at 15:00 UTC ( [id://442060]=note: print w/replies, xml ) Need Help??


in reply to Re^3: "-e" and "-d" switches
in thread "-e" and "-d" switches

-d -> -e implies ~-e -> ~-d

Is there a formal logic representation for "does not necessarily imply"?
--------------
"But what of all those sweet words you spoke in private?"
"Oh that's just what we call pillow talk, baby, that's all."

Replies are listed 'Best First'.
Re^5: "-e" and "-d" switches
by dragonchild (Archbishop) on Mar 24, 2005 at 15:13 UTC 
    ~( e -> d ).

    [download]
    "It is not the case that e necessarily implies d", would be the formalized English representation of that logical statement. Implication, within the Logical Calculus, is a fact. "does not necessarily imply" means, formally, "does not imply". That's the he problem with translating formal language to natural language and back again.

    Being right, does not endow the right to be rude; politeness costs nothing.
    Being unknowing, is not the same as being stupid.
    Expressing a contrary opinion, whether to the individual or the group, is more often a sign of deeper thought than of cantankerous belligerence.
    Do not mistake your goals as the only goals; your opinion as the only opinion; your confidence as correctness. Saying you know better is not the same as explaining you know better.

[reply]
[d/l]

In Section Seekers of Perl Wisdom

Log In?
Username:
Password:

What's my password?
Create A New User
Domain Nodelet?

www.com | www.net | www.org
Node Status?
node history
Node Type: note [id://442060]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? • Last hour • Other CB clients
Other Users?
Others admiring the Monastery: (6)
As of 2024-04-24 04:04 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    No recent polls found