NMTS-Group9: Difference between revisions
(→Topic) |
|||
| Line 9: | Line 9: | ||
Symbol: Ʌ <br /> | 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: [[ student (harry) Ʌ teacher (snape)]] = true/false | Formulae: [[student (harry) Ʌ teacher (snape)]] = true/false | ||
== or == | == or == | ||
Symbol: V <br /> | Symbol: V <br /> | ||
Sentence: Harry is a student or Snape is a teacher. <br /> | Sentence: Harry is a student or Snape is a teacher. <br /> | ||
Formulae: [[ student (harry) V teacher (snape)]] = true/false | Formulae: [[student (harry) V teacher (snape)]] = true/false | ||
== if/then == | == if/then == | ||
Symbol: --> <br /> | Symbol: --> <br /> | ||
Sentence: If Harry is a student then Snape is a teacher. <br /> | Sentence: If Harry is a student then Snape is a teacher. <br /> | ||
Formulae: [[ student (harry) --> teacher (snape)]] = true/false | Formulae: [[student (harry) --> teacher (snape)]] = true/false | ||
| Line 25: | Line 25: | ||
Symbol: ¬ <br /> | Symbol: ¬ <br /> | ||
Sentence: Harry is not a student. <br /> | Sentence: Harry is not a student. <br /> | ||
Formulae: [[ ¬student (harry)]] = true/false | Formulae: [[¬student (harry)]] = true/false | ||
Revision as of 09:22, 26 October 2012
Topic
Predicate logic - logical connectives
The purpose of Predicate logic is to avoid ambiguity in sentences by forming formulae out of natural language. Logical connectives are used to create formulae out of sentences with "and", "or", "if/then" and "not". The aim is to state if the given sentence is true or false in a given model.
Examples
and
Symbol: Ʌ
Sentence: Harry is a student and Snape is a teacher.
Formulae: student (harry) Ʌ teacher (snape) = true/false
or
Symbol: V
Sentence: Harry is a student or Snape is a teacher.
Formulae: student (harry) V teacher (snape) = true/false
if/then
Symbol: -->
Sentence: If Harry is a student then Snape is a teacher.
Formulae: [[student (harry) --> teacher (snape)]] = true/false
not
Symbol: ¬
Sentence: Harry is not a student.
Formulae: ¬student (harry) = true/false