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

Czy następujący napis jest formułą logiki zdaniowej $((p\Rightarrow q)\Rightarrow (q\Leftarrow p))$?

TAK Źle

NIE Dobrze

Czy formuła $(\mathrm{\neg }p\Rightarrow q)\Rightarrow ((\mathrm{\neg }p\Rightarrow \mathrm{\neg }q)\Rightarrow (\mathrm{\neg }p\Rightarrow q))$ pasuje do aksjomatu K klasycznego rachunku zdań?

TAK Dobrze

NIE Źle

Czy przy użyciu MP da się otrzymać formułę $p\Rightarrow p$ z formuł $p\Rightarrow (p\Rightarrow q),p,\mathrm{\neg }q,q\Rightarrow ((p\Rightarrow p)\Rightarrow \mathrm{\neg }q)$?

TAK Źle

NIE Dobrze

Czy formuła $((p\Rightarrow \mathrm{\neg }q)\Rightarrow r)\Rightarrow \mathrm{\neg }(r\Rightarrow p)$ jest tautologią?

TAK Źle

NIE Dobrze

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

TAK Źle

NIE Dobrze

Czy istnieje jednoargumentowa funkcja boolowska $f$ taka, że system $\{f\}$ jest funkcjonalnie pełny?

TAK Źle

NIE Dobrze

Czy istnieje dwuargumentowa funkcja boolowska $g$ taka, że system $\{g\}$ jest funkcjonalnie pełny?

TAK Dobrze

NIE Źle

Czy istnieje trójargumentowa funkcja boolowska $h$ taka, że system $\{h\}$ jest funkcjonalnie pełny?

TAK Dobrze

NIE Źle

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

TAK Dobrze

NIE Źle

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

TAK Dobrze

NIE Źle

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

TAK Źle

NIE Dobrze