Logika 2102-1WM3LOGI

16 Pełny opis 1. Intuicyjne pojęcie wynikania wniosku z przesłanek rozważane na przykładach rozumowań formułowanych w języku potocznym.
2. Stałe logiczne klasycznego rachunku zdań a spójniki zdaniowe w języku potocznym; przykłady zdań z języka potocznego ze spójnikami 'i', 'lub', 'jeżeli...to', 'wtedy i tylko wtedy, gdy' interpretowanymi jako stałe logiczne logiki klasycznej.
3. Stałe logiczne jako funkcje prawdziwościowe; wzajemna definiowalność funkcji prawdziwościowych i pojęcie funkcyjnej zupełności.
4. Interpretacja języka sformalizowanego klasycznego rachunku zdań; stałe logiczne jako operacje na wartościach logicznych {1, 0}.
5. Pojęcia definiowane w terminach funkcji interpretacji języka rachunku zdań: tautologia, kontrtautologia, formuła spełnialna; przykłady tautologii.
6. Wynikanie logiczne zdefiniowane w terminach funkcji interpretacji; własności
7. własności
17 Opis skrócony
W języku angielskim (krótki opis treści zajęć, zwięzłe omówienie tematyki do 1000 znaków)
18 Pełny opis
W języku angielskim (treść przedmiotu rozpisana w punktach na poszczególne zagadnienia, realizowane w ramach przedmiotu we wszystkich jego formach - wykłady, ćwiczenia itp. do 4000 znaków)
19 Literatura (Literatura do przedmiotu w języku polskim do 4000 znaków, preferowane pozycje z naszego wydziału)

6. Wynikanie logiczne (relacja konsekwencji semantycznej) zdefiniowane w terminach funkcji interpretacji języka klasycznego rachunku zdań.
7. Własności formalne klasycznej relacji konsekwencji a nieklasyczne relacje inferencji.
8. Pojęcie błędu formalnego we wnioskowaniu; przykłady poprawnych formalnie i błędnych formalnie wnioskowań.
9. Związek między wynikaniem logicznym a implikacją materialną.
10. Równoważność logiczna zdefiniowana w terminach interpretacji języka klasycznego rachunku zdań; związek między równoważnością logiczną a równoważnością materialną; równoważność logiczna a wynikanie logiczne.
11. Język sformalizowany klasycznego rachunku kwantyfikatorów ; forma logiczna zdań języka potocznego zawierających wyrażenia kwantyfikatorowe.
12. Zdania sprzeczne, przeciwne i podprzeciwne wyrażone w języku rachunku kwantyfikatorów.
13. Metatwierdzenia klasycznego rachunku zdań rozszerzone na klasyczny rachunek kwantyfikatorów bez zmiennych wolnych.
14. Tautologie klasycznego rachunku kwantyfikatorów jako (a) podstawienia tautologii klasycznego rachunku zdań i jako (b) zdania prawdziwe w każdej dziedzinie.
15. Przykłady poprawnych formalnie wnioskowań sformalizowane w języku rachunku kwantyfikatorów.