Przedmiot ogólnokształcący 1 - Logika W3-PS-SM-LOg
Ćwiczenia (C) semestr zimowy 2020/2021

Obowiązkowa:

B. Stanosz: Ćwiczenia z logiki, PWN, Warszawa 2004

M. Tokarz: Wykłady z logiki, seria: Podręczniki Akademickie Wyższa Szkoła Zarządzania i Nauk Społecznych, Tychy 1998

K. Wieczorek: Wprowadzenie do logiki (dla studentów wszystkich kierunków), Wydawnictwo Skrypt, Warszawa 2005

Uzupełniająca:

B. Stanosz: Wprowadzenie do logiki formalnej, PWN, Warszawa 2004

M. Tokarz: Argumentacja, perswazja, manipulacja, Gdańskie Wydawnictwo Psychologiczne, Gdańsk 2006

Ocena jest wystawiana na podstawie rezultatów systematycznej pracy studenta według poniższych wskazówek:

DST: student potrafi napisać poprawnie schemat zdania; obliczyć wartość logiczną formuły.

DST +: j.w. + student potrafić rozstrzygnąć status logiczny formuły.

DB: j.w.+ student potrafi sprawdzić poprawność wnioskowania.

DB+: j.w. + student potrafi sprawdzić poprawność rozumowania; potrafi wykorzystać twierdzenie o dedukcji.

BDB: j.w.+ student potrafi udowodnić proste zależności logiczne między spójnikami, albo stworzyć tabelkę spójnika, który nie był omawiany na zajęciach.

1. Podstawowe informacje o logice

2. Teoria zdań:

-spójniki logiczne

- schematy zdań i amfibolie,

-formuły,

- tabelki zero-jedynkowe,

- tautologie

- kontrtautologie,

- prawda logiczna,

- wynikanie logiczne,

- twierdzenie o dedukcji.

Krótki wykład wprowadzający nowe treści, rozwiązywanie zadań, dyskusja.