NMTS-Group9: Difference between revisions
(→Links) |
|||
| Line 52: | Line 52: | ||
* in the Glossary: | * in the Glossary: | ||
** [[Glossary:Hyponym]]: the entry for '' | ** [[Glossary:Hyponym]]: the entry for ''hyponym'' | ||
| Line 62: | Line 62: | ||
== Our pictures == | == Our pictures == | ||
<nowiki> | <nowiki> | ||
<gallery> | <gallery> | ||
File: | File:Lisa.jpg|Lisa | ||
== Our exercises == | == Our exercises == | ||
<!-- Provide links to all the exercises that your group has created.--> | <!-- Provide links to all the exercises that your group has created.--> | ||
Revision as of 09:53, 26 October 2012
Wikipage of Group 5
Overview
Members
Short description of the 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
Difficulties
- Abstraction of content/natural language
- Understanding the whole process from creating a model to interpret formulae
- Understanding the truth conditions of a formulae with connectives
References and links
References
Links
Our e-learning objects
Our wiki pages
- in the Glossary:
- Glossary:Hyponym: the entry for hyponym
Our podcasts
Our materials for an interactive whiteboard
Our pictures
<nowiki> <gallery> File:Lisa.jpg|Lisa