Matematické Fórum

ahojcau · 23. 10. 2015 21:59

Ahoj,

narazil jsem na tuto ulohu, zkontroloval by nekdo prosim vysledek?

$((\varphi _{1}\wedge \varphi _{2})\Rightarrow (\varphi _{3}\wedge \varphi _{4})) \approx (A\Rightarrow B)$

Za "fi" je potreba dosadit vyrokove promenne A,B,C.

Otazka zni:
Jak dosadit vyrokove promenne aby ekvivalence platila a zaroven splnovala - $C\in \{\varphi _{1},\varphi _{2},\varphi _{3},\varphi _{4}\}$ a $|\{\varphi _{1},\varphi _{2},\varphi _{3},\varphi _{4}\}|\le3$
Vyslo mi "fi1"=A, "fi2"=C, "fi3"=B, "fi4"=C.

Myslite ze to tak muze byt? Nejsem si moc jisty jak to resit s tim C.

Diky!

Sherlock

No, pro A=1, B=0, C=0 to ekvivalentní nebude

Myslím, že to nejde najít.. Tvrzení, jehož pravdivostní hodnota záleží na $C$ nemůže být ekvivalentní s tvrzením, u kterého ta hodnota na $C$ nezáleží.

Něco jiného by bylo třeba:
$(A\wedge (C\vee \neg C))\Rightarrow (B\wedge (C\vee \neg C))$
(pravd. hodnota C nezmění pravd. h. výroku)

ale to myslím není v souladu se zadáním

Matematické Fórum

#1 23. 10. 2015 21:59

Vyrokova logika - ekvivalence formuli

#2 25. 10. 2015 00:41 — Editoval Sherlock (25. 10. 2015 01:22)

Re: Vyrokova logika - ekvivalence formuli

Zápatí