Difference between revisions of "Logical implication"
MyWikiBiz, Author Your Legacy — Saturday April 27, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author) |
Jon Awbrey (talk | contribs) (+ {{aficionados}} <sharethis /> + categories) |
||
| Line 52: | Line 52: | ||
* [[Zeroth order logic]] | * [[Zeroth order logic]] | ||
|} | |} | ||
| + | |||
| + | {{aficionados}}<sharethis /> | ||
| + | |||
| + | [[Category:Computer Science]] | ||
| + | [[Category:Formal Languages]] | ||
| + | [[Category:Formal Sciences]] | ||
| + | [[Category:Formal Systems]] | ||
| + | [[Category:Linguistics]] | ||
| + | [[Category:Logic]] | ||
| + | [[Category:Mathematics]] | ||
| + | [[Category:Philosophy]] | ||
| + | [[Category:Semiotics]] | ||
Revision as of 14:38, 21 May 2007
The logical implication and the material conditional are both associated with an operation on two logical values, typically the values of two propositions, that produces a value of false if and only if the first operand is true and the second operand is false.
The truth table associated with the material conditional if p then q (symbolized as p → q) and the logical implication p implies q (symbolized as p ⇒ q) is as follows:
| p | q | p ⇒ q |
|---|---|---|
| F | F | T |
| F | T | T |
| T | F | F |
| T | T | T |
See also
Logical operators
Related topics
Aficionados
- See Talk:Logical implication for discussions/comments regarding this article.
- See Logical implication/Aficionados for those who have listed Logical implication as an interest.
- See Talk:Logical implication/Aficionados for discussions regarding this interest.
<sharethis />
