Logika i teoria mnogości/Test 2: Rachunek zdań: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
 
 
Linia 1: Linia 1:
; NIE
 
 
<quiz type="exclusive">Czy następujący napis jest formułą logiki zdaniowej <math>\displaystyle ((p\Rightarrow q)\Rightarrow(q\Leftarrow p))</math>?
 
<quiz type="exclusive">Czy następujący napis jest formułą logiki zdaniowej <math>\displaystyle ((p\Rightarrow q)\Rightarrow(q\Leftarrow p))</math>?
 
<wrongoption>TAK</wrongoption>
 
<wrongoption>TAK</wrongoption>
 
<rightoption>NIE</rightoption>
 
<rightoption>NIE</rightoption>
 
</quiz>  
 
</quiz>  
; TAK
+
 
 +
 
 
<quiz type="exclusive">Czy formuła <math>\displaystyle (\neg p \Rightarrow q)\Rightarrow ((\neg p \Rightarrow \neg q) \Rightarrow (\neg p \Rightarrow q))</math> pasuje do aksjomatu K klasycznego rachunku zdań?
 
<quiz type="exclusive">Czy formuła <math>\displaystyle (\neg p \Rightarrow q)\Rightarrow ((\neg p \Rightarrow \neg q) \Rightarrow (\neg p \Rightarrow q))</math> pasuje do aksjomatu K klasycznego rachunku zdań?
 
<rightoption>TAK</rightoption>
 
<rightoption>TAK</rightoption>
 
<wrongoption>NIE</wrongoption>
 
<wrongoption>NIE</wrongoption>
 
</quiz>  
 
</quiz>  
; NIE
+
 
 +
 
 
<quiz type="exclusive">Czy przy użyciu MP da się otrzymać formułę <math>\displaystyle p\Rightarrow p</math> z formuł <math>\displaystyle p\Rightarrow (p\Rightarrow q), p, \neg q, q\Rightarrow((p\Rightarrow p)\Rightarrow \neg q)</math>?
 
<quiz type="exclusive">Czy przy użyciu MP da się otrzymać formułę <math>\displaystyle p\Rightarrow p</math> z formuł <math>\displaystyle p\Rightarrow (p\Rightarrow q), p, \neg q, q\Rightarrow((p\Rightarrow p)\Rightarrow \neg q)</math>?
 
<wrongoption>TAK</wrongoption>
 
<wrongoption>TAK</wrongoption>
 
<rightoption>NIE</rightoption>
 
<rightoption>NIE</rightoption>
 
</quiz>  
 
</quiz>  
; NIE
+
 
 +
 
 
<quiz type="exclusive">Czy formuła <math>\displaystyle ((p\Rightarrow \neg q)\Rightarrow r) \Rightarrow \neg (r\Rightarrow p)</math> jest tautologią?
 
<quiz type="exclusive">Czy formuła <math>\displaystyle ((p\Rightarrow \neg q)\Rightarrow r) \Rightarrow \neg (r\Rightarrow p)</math> jest tautologią?
 
<wrongoption>TAK</wrongoption>
 
<wrongoption>TAK</wrongoption>
 
<rightoption>NIE</rightoption>
 
<rightoption>NIE</rightoption>
 
</quiz>  
 
</quiz>  
; NIE
+
 
 +
 
 
<quiz type="exclusive">Czy istnieje twierdzenie rachunku zdań, które nie jest tautologią?
 
<quiz type="exclusive">Czy istnieje twierdzenie rachunku zdań, które nie jest tautologią?
 
<wrongoption>TAK</wrongoption>
 
<wrongoption>TAK</wrongoption>
 
<rightoption>NIE</rightoption>
 
<rightoption>NIE</rightoption>
 
</quiz>  
 
</quiz>  
; NIE
+
 
 +
 
 
<quiz type="exclusive">Czy istnieje jednoargumentowa funkcja boolowska <math>\displaystyle f</math> taka, że system <math>\displaystyle \{f\}</math> jest funkcjonalnie pełny?
 
<quiz type="exclusive">Czy istnieje jednoargumentowa funkcja boolowska <math>\displaystyle f</math> taka, że system <math>\displaystyle \{f\}</math> jest funkcjonalnie pełny?
 
<wrongoption>TAK</wrongoption>
 
<wrongoption>TAK</wrongoption>
 
<rightoption>NIE</rightoption>
 
<rightoption>NIE</rightoption>
 
</quiz>  
 
</quiz>  
; TAK
+
 
 +
 
 
<quiz type="exclusive">Czy istnieje dwuargumentowa funkcja boolowska <math>\displaystyle g</math> taka, że system <math>\displaystyle \{g\}</math> jest funkcjonalnie pełny?
 
<quiz type="exclusive">Czy istnieje dwuargumentowa funkcja boolowska <math>\displaystyle g</math> taka, że system <math>\displaystyle \{g\}</math> jest funkcjonalnie pełny?
 
<rightoption>TAK</rightoption>
 
<rightoption>TAK</rightoption>
 
<wrongoption>NIE</wrongoption>
 
<wrongoption>NIE</wrongoption>
 
</quiz>  
 
</quiz>  
; TAK
+
 
 +
 
 
<quiz type="exclusive">Czy istnieje trójargumentowa funkcja boolowska <math>\displaystyle h</math> taka, że system <math>\displaystyle \{h\}</math> jest funkcjonalnie pełny?
 
<quiz type="exclusive">Czy istnieje trójargumentowa funkcja boolowska <math>\displaystyle h</math> taka, że system <math>\displaystyle \{h\}</math> jest funkcjonalnie pełny?
 
<rightoption>TAK</rightoption>
 
<rightoption>TAK</rightoption>
 
<wrongoption>NIE</wrongoption>
 
<wrongoption>NIE</wrongoption>
 
</quiz>  
 
</quiz>  
; TAK
+
 
 +
 
 
<quiz type="exclusive">Czy zaprzeczenie formuły, która nie jest spełnialna jest zawsze tautologią?
 
<quiz type="exclusive">Czy zaprzeczenie formuły, która nie jest spełnialna jest zawsze tautologią?
 
<rightoption>TAK</rightoption>
 
<rightoption>TAK</rightoption>
 
<wrongoption>NIE</wrongoption>
 
<wrongoption>NIE</wrongoption>
 
</quiz>
 
</quiz>
; TAK
+
 
 +
 
 
<quiz type="exclusive">Czy istnieje formuła, która jest tautologią i nie jest twierdzeniem logiki intuicjonistycznej?
 
<quiz type="exclusive">Czy istnieje formuła, która jest tautologią i nie jest twierdzeniem logiki intuicjonistycznej?
 
<rightoption>TAK</rightoption>
 
<rightoption>TAK</rightoption>
 
<wrongoption>NIE</wrongoption>
 
<wrongoption>NIE</wrongoption>
 
</quiz>  
 
</quiz>  
; NIE
+
 
 +
 
 
<quiz type="exclusive">Czy istnieje formuła, która jest twierdzeniem logiki intuicjonistycznej i nie jest tautologią?
 
<quiz type="exclusive">Czy istnieje formuła, która jest twierdzeniem logiki intuicjonistycznej i nie jest tautologią?
 
<wrongoption>TAK</wrongoption>
 
<wrongoption>TAK</wrongoption>
 
<rightoption>NIE</rightoption>
 
<rightoption>NIE</rightoption>
 
</quiz>
 
</quiz>

Aktualna wersja na dzień 13:19, 29 wrz 2006

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