Wiki-ch2

Additional Wiki pages for Chapter 2

Truth tables

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: -->
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