Wiki-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 28: | Line 28: | ||
[[File:Truthtable_OR1.png|400px]] | [[File:Truthtable_OR1.png|400px]] | ||
==== IF/THEN (⊃ →) ==== | ==== IF/THEN (⊃, →) ==== | ||
Symbol: ⊃, → (''Note: We use the symbol ⊃ in the textbook as it is more common in the logical literature.'')<br /> | Symbol: ⊃, → (''Note: We use the symbol ⊃ in the textbook as it is more common in the logical literature.'')<br /> | ||
Line 40: | Line 40: | ||
[[File:Truthtable_IF_THEN2.png|400px]] | [[File:Truthtable_IF_THEN2.png|400px]] | ||
===== NOT ===== | ===== NOT (¬) ===== | ||
Symbol: | Symbol: ¬ <br /> | ||
Sentence: Harry is not a student. <br /> | Sentence: Harry is not a student. <br /> | ||
Formula: ¬'''student'''('''harry''') | |||
The original | The original formula has to be false for the overall statement to be true. | ||
'''Example:''' | '''Example:''' | ||
Only if '''student(harry | Only if '''student'''('''harry''') is ''false'', ¬'''student'''('''harry''') is ''true''. | ||
Revision as of 14:56, 11 April 2013
Additional Wiki pages for Chapter 2
Truth tables
Template:CreatedByStudentsWS1213
Truth tables for connectives
AND (∧)
Symbol: ∧
Sentence: Harry is a student and Snape is a teacher.
Formulae: student(harry) ∧ teacher(snape)
Truthtable AND
OR (∨)
Symbol: ∨
Sentence: Harry is a student or Snape is a teacher.
Formulae: student(harry) ∨ teacher(snape)
Truthtable OR
IF/THEN (⊃, →)
Symbol: ⊃, → (Note: We use the symbol ⊃ in the textbook as it is more common in the logical literature.)
Sentence: If Harry is a student then Snape is a teacher.
Formula: student(harry) ⊃ teacher(snape)
Truthtable IF/THEN
NOT (¬)
Symbol: ¬
Sentence: Harry is not a student.
Formula: ¬student(harry)
The original formula has to be false for the overall statement to be true.
Example: Only if student(harry) is false, ¬student(harry) is true.
Truthtable NOT