Victoria Kamasa - Logika (Komunikacja i Zarządzanie)

From Zakład Logiki Stosowanej

[edytuj] LOGIKA

• Wprowadzenie
• O związkach cz. I
• O związkach cz. II ostatnie zadania policzymy wspólnie na następnych zajęciach
• Ćwiczenia
  • Wyniki kolokwium
  • Wyniki poprawki
• Drzewa semantyczne - wprowadzenie
• Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
  • Zadania do wyliczenia na dyżur - tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
• Wnioskowania
  • Zadania do wyliczenia na dyżur - wnioskowania
• Dowody, czyli jeszcze trochę zadań do poćwiczenia
• KRP - wprowadzenie
• KRP - porwanie
  • Zadania na dyżur - predykaty