Logika i teoria mnogości/Test 2: Rachunek zdań
Czy następujący napis jest formułą logiki zdaniowej
?TAK
NIE
Czy formuła pasuje do aksjomatu K klasycznego rachunku zdań?
TAK
NIE
Czy przy użyciu MP da się otrzymać formułę z formuł ?
TAK
NIE
Czy formuła jest tautologią?
TAK
NIE
Czy istnieje twierdzenie rachunku zdań, które nie jest tautologią?
TAK
NIE
Czy istnieje jednoargumentowa funkcja boolowska taka, że system jest funkcjonalnie pełny?
TAK
NIE
Czy istnieje dwuargumentowa funkcja boolowska taka, że system jest funkcjonalnie pełny?
TAK
NIE
Czy istnieje trójargumentowa funkcja boolowska taka, że system jest funkcjonalnie pełny?
TAK
NIE
Czy zaprzeczenie formuły, która nie jest spełnialna jest zawsze tautologią?
TAK
NIE
Czy istnieje formuła, która jest tautologią i nie jest twierdzeniem logiki intuicjonistycznej?
TAK
NIE
Czy istnieje formuła, która jest twierdzeniem logiki intuicjonistycznej i nie jest tautologią?
TAK
NIE