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 04. 10. 2008 16:30

d.lord
Příspěvky: 42
Reputace:   0 
 

Logické výrazy

ahoj mam dokazat ze je toto tvrzeni tautologie. Uz jsem to vyresil a vyslo mi, ze je to tautologie pro konotrolu bach se chtel zeptat jestli to tak ma opravdu vyjit.
$ [(p\rightarrow\neg q)\rightarrow(\neg r \vee q)]\rightarrow[(\neg q \wedge r)\rightarrow(q \wedge p ) ] $

Offline

 

#2 04. 10. 2008 17:10

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Logické výrazy

Také mi to tak vyšlo. Myslím, že by dokonce šla implikace mezi hranatými závorkami nahradit ekvivalencí.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson