Wiki-ch2
Jump to navigation
Jump to search
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)]] = true/false
Truthtable AND
OR
Symbol: V
Sentence: Harry is a student or Snape is a teacher.
Formulae: [[student(harry) V teacher(snape)]] = true/false
Truthtable OR
IF/THEN
Symbol: -->
Sentence: If Harry is a student then Snape is a teacher.
Formulae: [[student(harry) --> teacher(snape)]] = true/false
Truthtable IF/THEN
NOT
Symbol: ¬
Sentence: Harry is not a student.
Formulae: [[¬student(harry)]] = true/false
The original formulae has to be false, that the overall statement is true.
Example: Only if student(harry) is false, ¬student(harry) is true.
Truthtable NOT