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

#1 13. 10. 2012 20:06

sloníča
Zelenáč
Příspěvky: 23
Reputace:   
 

Logika

Ukážte, že tvrdenie je tautológia:

$(p\wedge q\wedge r)\Rightarrow [(p\vee q\vee r')\wedge (p'\vee q\vee r')]$ .


Viem to ukázať aj nejako inak ako tabuľkou?

Offline

  • (téma jako vyřešené označil(a) sloníča)

#2 13. 10. 2012 20:59

JohnPeca18
Příspěvky: 651
Škola: MFF UK
Pozice: Absolvent 2014
Reputace:   81 
 

Re: Logika

No implikace je nepravdiva iba ked je leva strana pravdiva a prava nepravdiva. Takze bych se zamyslel, jestli to muze nastat.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson