operacie s vyrokmk Flashcards
1
Q
Negácia výroku
A
je výrok V´ ktorý popiera to čo tvrdí výrok V, negáciu výroku vytvoríme tak že pred dámy výrok predradime väzbu nie ja pravda že, Ak výrok V zahrňuje jednu z viacerých možnosti jeho negácia musí zahŕňať všetky ostatne. Výroky V a V´ majú vzdy opačne pravdivostne hodnoty
2
Q
Kvantifikácia výrok
A
taky výrok ktorý obsahuje informáciu o očiste osôb objektov alebo jeho odhad obyčajne ich poznámky podľa slov- každý apson práve najviac nijaký ani jeden
3
Q
Kvantifikatory
A
pre každý je ore všetky používame všeobecný kvantifikator
pre aspoň jeden existuje aspoň jeden používame existenčný kvantifikator
