Wszystkie testy tematycznie

Krz

Rozpoznawanie zdań i spójników

• Czy to zdanie?

• Proste / złożone?

• Który spójnik?

• Rozumienie spójników

• Poćwicz rozumienie spójników 2

• Sprytna implikacja

• Zadanie na implikację

Rozpoznawanie formuł

• Czy to formuła?

• Popraw, by była formuła

Tłumaczenie na / z KRZ

• KRZ: pierwsze kroczki

• KRZ: pierwsze kroczki 2

• Tłumaczenie na KRZ

• Tłumaczenie z KRZ

• Krzyżówki (na KRZ)

• Tłumaczenie na KRZ 2

• Tłumaczenie z KRZ 2

• Łupy wojenne

• Advocatus Diaboli

• Pałac czy rudera?

Liczenie wartości tabelką

• Bello tabello (pierwsze kroczki)

• Policz tabelką

• Czy da się wywnioskować?

• Ciao Bella, to tabela

• Ciao Bella, to tabela 2

Sprawdzanie tautologii tabelką

• Czy jest to tautologia?

• Tautologia na 3 zmienne

Sprawdzanie tautologii innymi metodami

• Tajemnica twierdzy szyfrów

• Tajemnica twierdzy szyfrów 2

• Krzyżówka

• Zasadź drzewko

• Spiłuj drzewko

Poprawność rozumowań

• Przygody Kapitana de Morgana

• Morskie opowieści 2

• Morskie opowieści: Wieszczka Massandra

Dowody założeniowe

• Wiedźmin i Baba Jaga

• Wiedźmin i Baba Jaga (nie wprost)

• Klątwa Faraona (system reguł dedukcji naturalnej)

• Klątwa Faraona na "1&2" (system reguł "1&2")

• Słowo morskiego wilka dowodem

• Dedukcja? - Naturalnie!

• Kalkulator reguł wyprowadzania

Sylogistyka

• Imię Róży (zakresy nazw)

• Zdania kategoryczne: podstawy

• Kategoryczne Nie! (prawa negowania zdań)

• Syllabus sylogisty (budowa sylogizmu i terminologia)

• SouP czy SiuP (sprawdzanie poprawności trybów)

KRP

• Czy to formuła?

• Czy to zdanie?

• Tłumaczenie na KRP: pierwsze kroczki

• Negacja: pierwsze kroczki

• Tłumaczenie na KRP: pełna para

• Krwiożerczy KaRP albo Łupy wojenne II (sprawdź, czy dobrze tłumaczysz na KRP)

• Krwiożerczy KaRP kontratakuje (sprawdź, czy dobrze tłumaczysz z KRP)

• Sprawdzanie prawdziwości zdań (bez kwantyfikatorów) w modelu

• Sprawdzanie prawdziwości zdań z kwantyfikatorami w modelu

• Sprawdzanie spełniania otwartych formuł w modelu

Argumentacja

• Rycerska Zasada Życzliwej Interpretacji 

• Przesłanka - obiekcja - wcale? (odróżnianie racji od nie-racji)

• Małe słówko lecz wskazówka! (spójniki wskazujące)

• Iluzoryczna granica (odróżnienie argumentacji od opisu)

• No powiem ci, że (ocena materialnej i formalnej poprawności argumentów)

• Mądrej głowie dość dwie słowie (rekonstrukcja pominiętych przesłanek)

• No domyślam się (rekonstrukcja pominiętej 1 przesłanki w rozumowaniach dedukcyjnych)

• Bystry bystrzak (rekonstrukcja 2-ch pominiętych przesłanek w rozumowaniach dedukcyjnych).

Prace domowe

KRZ

• 1. Tłumaczenie na / z KRZ

• 2. Sprawdzanie tabelą

• 3. Metoda skrócona

• Drzewka

• 4. Rozumowania

• 5. Dowody