Která z formulí je formálně zapsanou negací tvrzení 'Všichni sourozenci mají stejného otce i matku'? Je použit predikát S(x,y) s významem 'x a y jsou sourozenci'. Dále jsou použity funkce otec(x) reprezentující otce osoby x a matka(x) reprezentující matku osoby x.

∃x∃y(S(x,y) ⋀ (¬otec(x) = otec(y)) ⋁ ¬(matka(x) = matka(y)))

∃x∃y(¬S(x,y) ⋁ (otec(x) = otec(y) ⋀ matka(x) = matka(y)))

∃x∃y((¬S(x,y) ⋀ ¬(otec(x) = otec(y))) ⋁ matka(x) = matka(y))

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
166