Logika matematyczna 09-LOGMA-22

Student:
1) uzyskuje podstawową wiedzę na temat: głównych zagadnień logiki matematycznej, jej metod oraz zastosowań; związków logiki z innymi dziedzinami wiedzy (głównie: matematyki, filozofii, językoznawstwa); podstawowych pojęć logicznych (nazwa, zdanie, funktor, operator, tautologia, wynikanie, wnioskowanie dedukcyjne, sprzeczność i in.), powiązań między poszczególnymi działami logiki
2) rozumie: różnicę między językiem a metajęzykiem; na czym polegają podstawowe rodzaje błędów logicznych; rozmaite metody wnioskowań (dedukcyjne, redukcyjne, indukcja); potrzebę znajomości zagadnień z tego przedmiotu
3) posiada umiejętność: ścisłego i formalnego wypowiadania się, pisania i czytania formuł logicznych (w systemie rachunku zdań, rachunku zbirów, kwantyfikatorów czy relacji), sprawdzania tautologiczności formuł logicznych, badania poprawności logicznej wnioskowań, sprawdzania niesprzeczności układów zdań, zastosowania metod zerojedynkowych wprost i nie wprost, przeprowadzania dowodów założeniowych wprost i nie wprost oraz dowodów aksjomatycznych.