Wiki-ch2: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Additional Wiki pages for Chapter 2 = == Truth tables == {{CreatedByStudentsWS1213}} === Truth tables for connectives === ==== AND (∧) ==== Symbol: Ʌ <br /> Sente...") |
|||
Line 8: | Line 8: | ||
==== AND (∧) ==== | ==== AND (∧) ==== | ||
Symbol: | Symbol: ∧ <br /> | ||
Sentence: Harry is a student and Snape is a teacher. <br /> | Sentence: Harry is a student and Snape is a teacher. <br /> | ||
Formulae: | Formulae: '''student'''('''harry''') ∧ '''teacher'''('''snape''') | ||
Line 17: | Line 17: | ||
[[File:Truthtable_AND1.png|400px]] | [[File:Truthtable_AND1.png|400px]] | ||
=== OR === | |||
Symbol: | Symbol: ∨ <br /> | ||
Sentence: Harry is a student or Snape is a teacher. <br /> | Sentence: Harry is a student or Snape is a teacher. <br /> | ||
Formulae: | Formulae: '''student'''('''harry''') ∨ '''teacher'''('''snape''') | ||
Revision as of 14:49, 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: -->
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