Cognitive Science Unit, Institute of Philosophy, Faculty of Philosophy, Jagiellonian University, Cracow
Winter semester 2022/23, 2023/24

Lectures: Tuesdays 7-8.30 p.m. (Dr Adam Trybus, coordinator: Dr hab. Tomasz Kowalski, Prof. UJ)
Classes:
1. Wednesdays 9.30-11 a.m.
2. Wednesdays 11-12.30 p.m.

• Exercises:
  • Classical propositional logic (KRZ)
    • Translations – solutions
    • Tautologies – solutions
    • Rules – solutions
    • Proofs
    • Defining logical connectives, DNF and CNF
• Exemplary exam:
  • KRZ 1 – solutions
  • KRZ 2 – solutions
• Handouts:
  • Basic notions
  • Greek alphabet
  • Axiomatic system (KRZ)
  • List of axioms and rules (KRZ, INT, KWRP) – extra
• Literature:
  • C. Leary, A Friendly Introduction to Mathematical Logic
  • M. Porębska & W. Suchoń, Elementarne wprowadzenie w logikę formalną
  • K. Idziak, Materiały pomocnicze do ćwiczeń z logiki
  • W. Marek & J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach