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 Ʌ
</gallery></nowiki>
-->
Truthtable AND
- ===== or =====
- ===== if/then =====
- ===== not =====
- ==== 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 ===
- = Our e-learning objects =
- == Our wiki pages ==
- * in the Glossary:
- == Our podcasts ==
- == Our material for an interactive whiteboard ==
- == Our pictures ==
Lisa
Marthe
- Picture liss.jpg
Elisabeth
Isabelle
</nowiki>
-->
Lisa
Marthe
- Picture liss.jpg
Elisabeth
Isabelle
Our exercises
Complex exercise on Predicate Logic: