Logika T-KP-SJ>logika-w-4
Klasyczny rachunek zdań
- uwagi o systemach aksjomatycznych KRZ
-metoda tablic zero-jedynkowych
-metoda tablic analitycznych
- algebra zbiorów
- teoria relacji z formalnymi własnościami relacji
- uwagi o rachunku nazw Arystotelesa i diagramy Venna
- teoria definiciji
Tryb zajęć
Koordynatorzy przedmiotu
Efekty kształcenia
- znajomość KRZ, algebry zbiorów, podstaw teorii relacji
- umiejętność dowodzenia formuł KRZ,
- podstawowa znajomość struktury systemów aksjomatyczno-dedukcyjnych
- umiejętność logicznego argumentowania
Kryteria oceniania
egzamin końcowy pisemny obejmujący
znajomość podstawowych definicji, twierdzeń i technik podanych podczas wykładów.
Literatura
Adam Olszewski, Postawy logiki klasycznej dla filozofów" dostępny w internecie pod linkiem:
.https://www.academia.edu/19807560/Logika_dla_student%C3%B3w_filozofii
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: