Pravdivosť zloženého výroku

Zložený výrok vznikne spojením jednoduchých výrokov logickými spojkami. Jeho pravdivosť závisí len od pravdivosti častí: A ∧ B platí, keď platia oba výroky, A ∨ B platí, keď platí aspoň jeden, a implikácia A ⇒ B neplatí jedine vtedy, keď A platí a B nie.

Čo tento generátor robí?

Dá ti dva alebo tri jednoduché výroky o číslach a zložený výrok zapísaný symbolmi. V ľahkej úrovni sú to konjunkcia, disjunkcia a negácia, v strednej implikácia a ekvivalencia, v ťažkej tri výroky naraz.

Ako ho používať

1) Pri každom jednoduchom výroku zisti, či je pravdivý (1), alebo nepravdivý (0). 2) Dosaď hodnoty do zloženého výroku. 3) Vyhodnocuj od zátvoriek a negácií smerom von.