Number of hours
- Lectures 4.0
- Projects -
- Tutorials 8.0
- Internship -
- Laboratory works -
- Written tests 2.0
ECTS
ECTS 0.0
Goal(s)
Draw on the knowledge acquired in demonstration during previous studies,
Extract the pattern of a line of reasoning to study its validity,
Study the truth of a formula,
Use appropriate methods.
Content(s)
Propositional formulas, propositional variables and logical operators.
Translation of sentences written in natural language, translated into propositional formulas.
Rules for calculating logical operators.
Methods for determining the truth of a formula: truth tables, Quine diagram.
Diagram of a line of reasoning
Rules of deduction (including those classically used in mathematical reasoning).
Beth table method to determine whether a reasoning is valid or not, and if it is not, to find a counter-example.
Predicate language
Addition of quantifiers to translate sentences with "there is" or "for everything".
Beth's table method with quantifiers.
Bibliography
Slideshows uploaded to Chamilo
Checklists for the exam
Logique et raisonnement, Mickaël Freund, Edition Ellipses
Initiation à la logique formelle, Thierry Lucas, Isabelle Berlanger, Vincent Degauquier, Edition de Boeck
Notions of structured reasoning and demonstration, knowledge of quantifiers.
Test
EXAM 100%, 2-hour written test, one document allowed: double-sided paper aide-memoire, no equipment allowed. For 1/3 time: additional 1/3 time
Calendar
The course exists in the following branches:
- Curriculum - PEIP A - Semester 2
Additional Information
Course ID : KAAL2M17
Course language(s): 
You can find this course among all other courses.