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

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

TAK Źle

NIE Dobrze

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

TAK Dobrze

NIE Źle

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

TAK Źle

NIE Dobrze

Czy formuła $\displaystyle ((p\Rightarrow \neg q)\Rightarrow r)\Rightarrow \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 $\displaystyle f$ taka, że system $\displaystyle \{f\}$ jest funkcjonalnie pełny?

TAK Źle

NIE Dobrze

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

TAK Dobrze

NIE Źle

Czy istnieje trójargumentowa funkcja boolowska $\displaystyle h$ taka, że system $\displaystyle \{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