Logika F-K.92
Konwersatorium (KW) Semestr zimowy 2022/2023

B. Stanosz, Wprowadzenie do logii formalnej

A, Tarski, Wprowadzenie do logiki

W. Pogorzelski, Elementarny słownik logiki formalnej,

W. Marciszewski, Mała encyklopedia logiki

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

K_W03 Zna podstawowe metody badań w zakresie logiki zasady formułowania i uzasadniania tez. Zna metody badań i narzędzia w zakresie logiki

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

K_U01 Potrafi wyszukiwać, selekcjonować, analizować i oceniać informacje przy wykorzystaniu różnych źródeł i metod.

K_U03 Potrafi analizować teksty z zakresu logiki.

K_U10 Potrafi podjąć dyskusję w zakresie logiki.

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

test pisemny

Poznanie podstaw logiki klasycznej, w szczególności klasycznego rachunku zdań i rachunku zbiorów, ich związków z rozumowaniami formułowanymi w języku potocznym. Schematy zdań, spójniki zdaniowe, notacje klasyczna i beznawiasowa, wartość logiczna, wyznaczanie wartości logicznych, sprawdzanie tautologiczności i kontrtautologiczności schematów, prawa rachunku zdań, dowody aksjomatyczne, dowody zalożeniowe, rozumowania dedukcyjne, schematy rachunku predykatów, tautologie i kontrtautologie rachunku predykatów, prawa rachunku predykatów, wnioskowania dedukcyjne .Wprowadzenie do rachunku zbiorów, definicje podstawowych pojęć, relacje między zbiorami, działania na zbiorach, relacje, własności formalne relacji, funkcje.

rozwiązywanie zadań