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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

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