Revision as of 14:49, 11 April 2013

Additional Wiki pages for Chapter 2

Symbol: ∧
Sentence: Harry is a student and Snape is a teacher.
Formulae: student(harry) ∧ teacher(snape)

Truthtable AND

Symbol: ∨
Sentence: Harry is a student or Snape is a teacher.
Formulae: student(harry) ∨ teacher(snape)

Truthtable OR

Symbol: -->
Sentence: If Harry is a student then Snape is a teacher.
Formulae: [[student(harry) --> teacher(snape)]] = true/false

Truthtable IF/THEN

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

@@ Line 8: / Line 8: @@
 ==== AND (&and;) ====
-Symbol:   Ʌ <br />
+Symbol:   &and; <br />
 Sentence: Harry is a student and Snape is a teacher. <br />
-Formulae: <nowiki>[[</nowiki>'''student(harry) Ʌ teacher(snape)''']] = ''true/false''
+Formulae: '''student'''('''harry''') &and; '''teacher'''('''snape''')
@@ Line 17: / Line 17: @@
 [[File:Truthtable_AND1.png|400px]]
-==== OR ====
+=== OR ===
-Symbol: V <br />
+Symbol: &or; <br />
 Sentence: Harry is a student or Snape is a teacher. <br />
-Formulae: <nowiki>[[</nowiki>'''student(harry) V teacher(snape)''']] = ''true/false''
+Formulae: '''student'''('''harry''') &or; '''teacher'''('''snape''')