Logika i teoria mnogości/Test 2: Rachunek zdań

Z Studia Informatyczne
< Logika i teoria mnogości
Wersja z dnia 13:17, 29 wrz 2006 autorstwa Rogoda (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania
NIE

Czy następujący napis jest formułą logiki zdaniowej ?

TAK

NIE

TAK

Czy formuła pasuje do aksjomatu K klasycznego rachunku zdań?

TAK

NIE

NIE

Czy przy użyciu MP da się otrzymać formułę z formuł ?

TAK

NIE

NIE

Czy formuła jest tautologią?

TAK

NIE

NIE

Czy istnieje twierdzenie rachunku zdań, które nie jest tautologią?

TAK

NIE

NIE

Czy istnieje jednoargumentowa funkcja boolowska taka, że system jest funkcjonalnie pełny?

TAK

NIE

TAK

Czy istnieje dwuargumentowa funkcja boolowska taka, że system jest funkcjonalnie pełny?

TAK

NIE

TAK

Czy istnieje trójargumentowa funkcja boolowska taka, że system jest funkcjonalnie pełny?

TAK

NIE

TAK

Czy zaprzeczenie formuły, która nie jest spełnialna jest zawsze tautologią?

TAK

NIE

TAK

Czy istnieje formuła, która jest tautologią i nie jest twierdzeniem logiki intuicjonistycznej?

TAK

NIE

NIE

Czy istnieje formuła, która jest twierdzeniem logiki intuicjonistycznej i nie jest tautologią?

TAK

NIE