Logika F-K.92
Konwersatorium (KW) Semestr zimowy 2019/2020

B. Stanosz, Ćwiczenia z logiki

A. Tarski, Wprowadzenie do logiki

K. Trzęsicki, Elementy logiki dla humanistów

K_W01 Absolwent zna przedmiot badań logiki.

K_W02 Zna i definiuje elementarną terminologię z zakresu logiki.

K_W04 Zna strukturę logiczną języka. Rozumie podstawowe pojęcia syntaktyczne i semantyczne oraz wyjaśnia ich wzajemne relacje.

K_U03 Potrafi analizować teksty z zakresu logiki.

K_U04 Potrafi przeprowadzić analizę (syntaktyczną, semantyczną) wypowiedzi.

K_K01 Jest przygotowany do krytycznej oceny własnej i dostępnej powszechnie wiedzy; w dyskusjach przejawia postawę konstruktywnego krytycyzmu.

Test pisemny.

Wartości logiczne.

Zdania w sensie logicznym.

Składnia; zdania, nazwy funktory; gramatyka kategorialna.

Spójniki klasycznego rachunku zdań. Analiza składniowa zdań potocznych.

Semantyka klasycznego rachunku zdań; matryce prawdziwościowe.

Wyznaczanie wartości logicznych formuł KRZ i zdań potocznych.

Tautologie i kontrtautologie KRZ.

Zdania logicznie prawdziwe i fałszywe.

Wynikanie logiczne; wynikanie a wnioskowanie.

Wnioskowanie dedukcyjne.

Poprawność wnioskowania, błędy wnioskowań.

Składnia formuł rachunku predykatów; stałe i zmienne indywiduowe, predykaty, kwantyfikatory.

Struktura kwantyfikatorowa zdań potocznych.

Tautologie i kontrtautologie rachunku predykatów.

Analiza zdań potocznych; zdania logicznie prawdziwe i fałszywe.

Wnioskowania dedukcyjne.

Ćwiczenia praktyczne; rozwiązywanie zadań.