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. 03. 2012 19:35

Tychi
Příspěvky: 2463
Škola: MFF UK
Reputace:   56 
Web
 

Logika - normální forma

Ahoj,
můžete mi prosím kouknout na tohle? Opravila jsem to, jak si myslím, že to má být. Kdo má pravdu? Automat nebo já?(o:
http://forum.matweb.cz/upload3/img/2012-03/27670_KNF.JPG

Vesmír má čas.

Offline

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

#2 24. 03. 2012 00:41 — Editoval FailED (24. 03. 2012 00:42)

FailED
Příspěvky: 1255
Reputace:   42 
 

Re: Logika - normální forma

Ahoj, v zadání nikdy nemůže být splněno $q\leftrightarrow \neg q$, proto je konjunkce nepravdivá a výrok pravdivý, výsledek máš tedy správně ty.

Offline

 

#3 24. 03. 2012 07:32

Tychi
Příspěvky: 2463
Škola: MFF UK
Reputace:   56 
Web
 

Re: Logika - normální forma

Díky, taky jsem si to navíc vysvětlila takhle, dokonce i pravdivostní tabulku jsem po letech z hlavy vydolovala, ale pořád tam byla ta nejistota, že je v těch značkách něco víc(:

Vesmír má čas.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson