vyroky 2 Flashcards
zložené výroky
sú výroky zložené z dvoch alebo viacerych jednoduchých výrokov pomocou logickej spojky
vyrokova formula
ja výrok zložený z viacerych vyrokovoz pomocou logickej spojky
logické spoja
^ a súčasne a zároveň a
^ naopak alebo
=> ak tak ak potom
<=> práve tedy keď vtedy a len vtedy
konjukcia
je zložený výrok ktorý dostaneme spojením dvoch jednoduchých výrokov pomocou logickej slony a, a súčasne
alternatíva
Je zložený výrok ktorý dostaneme spojením dvoch Inú tých výrokov pomocou logickej spojky alebo
implikácia
Je zložený výrok 38 aspoň dvoch jednoduchý výrokov pomocou logickej spojky ak potom ,ak tak ,keď potom, keď tak
čo je výrok A a čo je výrok B
výrok A je podmienka
výrok B je tvrdenie
čo vieme vytvoriť ku každej implikácia
jej obmenu a obrátenie
Obmena A=>B, B’=>A
Obrátenie A=>B, B=>A
implikácia a jej obmena majú ako pravdivotnu hodnotu
rovnaku
implikácia a obrátená implikácia majú ako pravdibostnu hodnotu
nemusia mat rovnaku
ekvivalencia
Je obojstranná implikácia
Je zložený výrok ktorý dostaneme spojením dvoch jednoduchý výrokov pomocou logicky spojky práve vtedy keď alebo vtedy a len vtedy
kedy ma ekvivalencia pravdivostnj hodnotu
iPhone svojej pravde a vtedy len vtedy keď období roky sú pravdivé alebo obidva vyroky sú nepravdivé