Zložený výrok: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
d {{Bezzdroja}} > {{Bez zdroja}}
d Replacing deprecated latex syntax mw:Extension:Math/Roadmap
Riadok 7:
Príkladom zloženého výroku môže byť napríklad: ''Včera svietilo slnko a dnes prší''.<br/>
''Včera svietilo slnko'' - je jednoduchý výrok, označme si ho <math>p</math>.<br />
''a'' - je logická spojka (pre konjunkciu s označením <math>\andland</math>).<br />
''dnes prší'' - je tiež jednoduchý výrok, označme si ho <math>q</math>.<br />
<math>p, q</math> sú [[Výroková premenná výrokovej logiky|výrokové premenné]], potom môžeme tiež písať <math>p \andland q</math>.
 
Zaujímavými príkladmi zložených výrokov sú [[Totožnostno-pravdivý_výrok|tautológie]].