Predicate Logic

   Subject

  • Logika II (PHBL2, PHV242, PHV244)

   Teacher

prof. Jiri Raclavsky, Ph.D.

   Content

The content of the course can be estimated from the supporting handout. During the semester, nearly the whole book Introduction to Logic: Classical Predicate Logic (see below) is explained.

See also the course syllabi in IS MU.

   E-course in Elf (Moodle at FF MU)

Logika II (PHBL2)   - find it in the current distribution of Elf.

   On-line available textbook for the course Logic II

Klasická predikátová logika

Raclavský, Jiří (2015): Úvod do logiky: klasická predikátová logika [Introduction to Logic: Classical Predicate Logic]. ISBN 978-80-210-7867-3, Brno: Masarykova univerzita (Munipress), 348 stran.

The book Introduction to Logic: Classical Predicate Logic the second part of an introduction to logic which is intended primarily for students in humanities and related subjects. The book presents main information about predicate logic, whereas an accent is put on the notion of entailment. The reader is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The book involves a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.

   On-line study handout in PDF

Raclavský, Jiří (2016): Handout - predikátová logika (PDF).

   Selected further texts and resource


Last update 25/03/2023.