Logika WT-EM-LOG
Metody oceny: Kolokwium końcowe. Obowiązuje materiał przedstawiony na zajęciach.
Treści programowe:
1. Zagadnienia wstępne: historia logiki, jej przedmiot i cel nauczania.
2. Syntaktyczne kategorie wyrażeń
3. Klasyczny Rachunek Zdań: budowa języka.
4. Klasyczny Rachunek Zdań: tautologie logiczne, metoda zerojedynkowa.
5. Metoda zerojedynkowa (cd.).
6. Pojęcie wynikania logicznego.
7. Klasyfikacja rozumowań.
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Literatura
E. Nieznański, Logika. Podstawy - język - uzasadnianie, Warszawa 2000.
J. Wajszczyk, Wstęp do logiki, Olsztyn 2001.
Z. Ziembiński, Logika praktyczna, Warszawa 1992.
A. Malinowski, Przewodnik do ćwiczeń z logiki dla prawników, Warszawa 2008.
P. Smith, An introduction to formal logic, Cambridge 2009.
P. Tomassi, Logic, London and New York,2002.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: