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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
Rogoda (dyskusja | edycje)
1875 edycji
Nie podano opisu zmian
m Zastępowanie tekstu – „\displaystyle ” na „”
 
Linia 1: Linia 1:
<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>((p\Rightarrow q)\Rightarrow(q\Leftarrow p))</math>?
<wrongoption>TAK</wrongoption>
<wrongoption>TAK</wrongoption>
<rightoption>NIE</rightoption>
<rightoption>NIE</rightoption>
Linia 5: Linia 5:




<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>(\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>
Linia 11: Linia 11:




<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>p\Rightarrow p</math> z formuł <math>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>
Linia 17: Linia 17:




<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>((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>
Linia 29: Linia 29:




<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>f</math> taka, że system <math>\{f\}</math> jest funkcjonalnie pełny?
<wrongoption>TAK</wrongoption>
<wrongoption>TAK</wrongoption>
<rightoption>NIE</rightoption>
<rightoption>NIE</rightoption>
Linia 35: Linia 35:




<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>g</math> taka, że system <math>\{g\}</math> jest funkcjonalnie pełny?
<rightoption>TAK</rightoption>
<rightoption>TAK</rightoption>
<wrongoption>NIE</wrongoption>
<wrongoption>NIE</wrongoption>
Linia 41: Linia 41:




<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>h</math> taka, że system <math>\{h\}</math> jest funkcjonalnie pełny?
<rightoption>TAK</rightoption>
<rightoption>TAK</rightoption>
<wrongoption>NIE</wrongoption>
<wrongoption>NIE</wrongoption>

Aktualna wersja na dzień 08:28, 28 sie 2023

Czy następujący napis jest formułą logiki zdaniowej ((p⇒q)⇒(q⇐p))?

TAK

NIE


Czy formuła (¬p⇒q)⇒((¬p⇒¬q)⇒(¬p⇒q)) pasuje do aksjomatu K klasycznego rachunku zdań?

TAK

NIE


Czy przy użyciu MP da się otrzymać formułę p⇒p z formuł p⇒(p⇒q),p,¬q,q⇒((p⇒p)⇒¬q)?

TAK

NIE


Czy formuła ((p⇒¬q)⇒r)⇒¬(r⇒p) jest tautologią?

TAK

NIE


Czy istnieje twierdzenie rachunku zdań, które nie jest tautologią?

TAK

NIE


Czy istnieje jednoargumentowa funkcja boolowska f taka, że system {f} jest funkcjonalnie pełny?

TAK

NIE


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

TAK

NIE


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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogości/Test_2:_Rachunek_zdań&oldid=79501”