vyrokova logika

Question 1

čo je toto “∨” a aká je matimatická operácia ?

Answer 1

disjunkcia, sčitovanie

Question 2

čo je toto “∧” a aká je matimatická operácia ?

Answer 2

konjunkcia, násobenie

Question 3

čo je toto “⇒” ?

Answer 3

implikácia

Question 4

čo je toto “⇔” ?

Answer 4

ekvivalencia

Question 5

čo je toto “¬” ?

Answer 5

negácia

Question 6

priraď k akej logickej spojke toto patrí…“p alebo q”

Answer 6

disjunkcia

Question 7

priraď k akej logickej spojke toto patrí…“p a súčasne q”, “p aj q”, “p a q”, “hoci”, “ale”, “i keď”

Answer 7

konjunkcia

Question 8

priraď k akej logickej spojke toto patrí…“ak p, tak aj q”, “p iba ak q”, “p ak q”

Answer 8

implikácia

Question 9

priraď k akej logickej spojke toto patrí…“p práve vtedy, keď q”; p” vtedy a len vtedy, keď q”; “p je nutnou a dostatočnou podmienkou q”;

Answer 9

ekvivalencia

Question 10

priraď k akej logickej spojke toto patrí…“nie je pravda, že p”; “neplatí p”

Answer 10

negácia

Question 11

kedy je pravdivá disjunkcia ?

Answer 11

keď aspoň jeden z pôvodných výrokov je pravdivý.

Question 12

kedy je pravdivá konjunkcia ?

Answer 12

je pravdivá len vtedy, ak sú všetky základné výroky pravdivé.

Question 13

kedy je nepravdivá implikácia ?

Answer 13

keď z dvoch výrokov je prvý pravdivý a druhý je nepravdivý

Question 14

kedy je pravdivá ekvivalencia ?

Answer 14

je pravdivá práve vtedy, ak oba výroky majú rovnakú pravdivostnú hodnotu.

Question 15

čo je to negácia výroku ?

Answer 15

negácia výroku je výrok, ktorý má opačnú pravdivostnú hodnotu ako pôvodný

Question 16

k akej výrokovej formule patrí toto “vznikne vždy nepravdivý výrok”

Answer 16

kontradikcia

Question 17

k akej výrokovej formule patrí toto “nie je ani tautológiou, ani kontradikciou.”

Answer 17

splniteľná výroková formula

Question 18

k akej výrokovej formule patrí toto “vznikne vždy pravdivý výrok”

Answer 18

tautológia