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 (B  A (A  B):

 Je tautologií.

 Není tautologií.


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

 Je tautologií.

 Není tautologií.


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


7. Uvažujme implikaci: „Jestliže v Olomouci právě prší, pak v Šumperku právě nefouká vítr.“ Obměněnou implikací je výrok:

 Jestliže v Šuperku právě fouká vítr, pak v Olomouci právě neprší.

 V Šumperku právě fouká vítr, z toho plyne, že v Olomouci právě neprší.

 Jestliže v Šumperku právě nefouká vítr, pak v  v Olomouci právě prší.

 Jestliže v Šumperku právě neprší, pak v  v Olomouci právě nefouká vítr.


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

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

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

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


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

 A  B

 (A  B (B  ¬A)

 (A  B A