Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

Stránky: 1

 

#1 23. 10. 2015 21:59

ahojcau
Zelenáč
Příspěvky: 3
Reputace:   0 
 

Vyrokova logika - ekvivalence formuli

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!

Offline

 

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

Sherlock
Příspěvky: 860
Škola: PřF MUNI
Pozice: student
Reputace:   33 
 

Re: Vyrokova logika - ekvivalence formuli

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

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson