Теоремой исчисления высказываний является:
Любой главный фильтр является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Теоремой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является: