← Změnit příklad
Pravdivost složeného výroku
Urči pravdivostní hodnotu složeného výroku.
- A:
- B:
Složený výrok:
A ∧ B
∧ a (zároveň)
Všechny obtížnosti
0%
Přesnost
0
Aktuální série
0
Celkem odpovědí
0
Správné odpovědi
Složený výrok vznikne spojením jednoduchých výroků logickými spojkami. Jeho pravdivost závisí jen na pravdivosti částí: A ∧ B platí, když platí oba výroky, A ∨ B platí, když platí aspoň jeden, a implikace A ⇒ B neplatí jedině tehdy, když A platí a B ne.
Co tento generátor dělá?
Dá ti dva nebo tři jednoduché výroky o číslech a složený výrok zapsaný symboly. Na lehké úrovni jde o konjunkci, disjunkci a negaci, na střední o implikaci a ekvivalenci, na těžké o tři výroky najednou.
Jak ho používat
1) U každého jednoduchého výroku zjisti, zda je pravdivý (1), nebo nepravdivý (0). 2) Dosaď hodnoty do složeného výroku. 3) Vyhodnocuj od závorek a negací směrem ven.