NMTS-Group9

Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.

Wikipage of Group 9

Overview

Members

Lisa
Marthe
Elisabeth
Isabelle

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

Truthtable AND

OR

Symbol: V
Sentence: Harry is a student or Snape is a teacher.
Formulae: [[student(harry) V teacher(snape)]] = true/false

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.

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

• Course material "Introduction to Semantics" by Manfred Sailer

Links

• Sentential Logic

• Predicate Logic

Our e-learning objects

Our wiki pages

• in the Glossary (only those relevant for our topic):
  • Glossary entry for predicate
  • Glossary entry for formulae
  • Glossary entry for I-Function
  • Glossary entry for G-Function
  • Glossary entry for Logical Connective

Our podcasts

<mediaplayer>http://youtu.be/KLeSxGJ-FeI</mediaplayer>

Our material for an interactive whiteboard

• Presentation on Predicate Logic

• Comments on the presentation

Our pictures

• 

  Lisa

• 

  Marthe

• Picture liss.jpg

  Elisabeth

• 

  Isabelle

Our exercises

Complex exercise on Predicate Logic:

• Exercise 1: Creation of the World

• Exercise 2: Formulae and their interpretation

• Exercise 3: Interpretation of formulae with connectives