Výuka logiky
Úvod
Kapitoly
Nápověda
Testy
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
NAHORU

Test Warning: mysql_select_db() expects parameter 1 to be string, resource given in /srv/beegfs/web/web/kdm/diplomky/moravecdp/testy.php on line 15 3 – Složitější výroky


1. Výrok (A  B C je pravdivý, jestliže:

 v(A) = 1, v(B) = 1, v(C) = 1

 v(A) = 0, v(B) = 1, v(C) = 1

 v(A) = 1, v(B) = 1, v(C) = 0


2. Výrok (A  B (B  C) je pravdivý, jestliže:

 v(A) = 0, v(B) = 0, v(C) = 0

 v(A) = 0, v(B) = 1, v(C) = 0

 v(A) = 0, v(B) = 1, v(C) = 1


3. Výrok (A  B (A  B) je nepravdivý, jestliže:

 v(A) = 1, v(B) = 1

 v(A) = 0, v(B) = 1

 v(A) = 1, v(B) = 0

 v(A) = 0, v(B) = 0


4. Výrok (A  B (A  B):

 Je tautologií.

 Není tautologií.


5. Výrok [B  (A  C)]  [(B  C (A  C)]:

 Je tautologií.

 Není tautologií.


6. V kolika řádcích tabulky pravdivostních hodnot vyjde výrok [B  (A  C)]  [(A  C B] pravdivý:  


7. Uvažujme implikaci: „Jestliže je Bratislava hlavním městem Slovenské republiky, pak Žilina není hlavním městem Spolkové republiky Německo. “ Obměněnou implikací je výrok:

 Jestliže Žilina není hlavním městem Spolkové republiky Německo, pak Bratislava je hlavním městem Slovenské republiky.

 Jestliže je Žilina hlavním městem Spolkové republiky Německo, pak Bratislava není hlavním městem Slovenské republiky.

 Žilina je hlavním městem Spolkové republiky Německo nebo Bratislava není hlavním městem Slovenské republiky.

 Žilina není hlavním městem Spolkové republiky Německo, z toho plyne, že Bratislava je hlavním městem Slovenské republiky.


8. Negací výroku [B  (A  C)]  [(C  B A] je:

 [B  (¬A  ¬C)]  [(C  B ¬A]

 [B  (¬A  ¬C)]  [(¬C  B ¬A]

 [B  (¬A  ¬C)]  [(C  B ¬A]


9. Výrok ekvivalentní s výrokem [(A  B A [(A  B (A  B)] je:

 B  A

 (A  B A

 (B  A (A  B)