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 29. 01. 2009 12:21

gladiator01
Místo: Jindřichův Hradec
Příspěvky: 1587
Škola: ZČU FAV - SWI
Pozice: absolvent
Reputace:   53 
Web
 

výroková logika - syntaxní správnost výrokové formule

Ahoj, mám dotaz podle čeho mám usoudit zda tyto výrokové formule jsou syntaxně správné
$p \rightarrow (q \vee \neg p) \ a\ (p \leftrightarrow q) \leftrightarrow (\neg p \wedge r) $. Díky

Naděje jako svíce jas, potěší srdce štvané, čím temnější je noční čas, tím zářivěji plane.
VIVERE - MILITARE EST (Seneca)
Vím, že nic nevím. - Sokrates

Offline

 

#2 29. 01. 2009 12:28

musixx
Místo: Brno
Příspěvky: 1771
Reputace:   45 
 

Re: výroková logika - syntaxní správnost výrokové formule

↑ gladiator01: Existuji dokonce algoritmy na syntaktickou analyzu (zde: bezkontextoveho jazyka). V takovych jednoduchych pripadech to ale snad ani neni potreba nasazovat. Staci se podivat, jestli "za" prefixovou negaci je jediny argument, jestli "kolem" infixovych ostatnich logickych spojek jsou vzdy dva argumenty a jestli tam neni nic jineho. Obe uvedene formule jsou syntakticky spravne. Spatne je treba $p \rightarrow (q \vee \neg p \neg)$

Offline

 

#3 29. 01. 2009 12:44

gladiator01
Místo: Jindřichův Hradec
Příspěvky: 1587
Škola: ZČU FAV - SWI
Pozice: absolvent
Reputace:   53 
Web
 

Re: výroková logika - syntaxní správnost výrokové formule

↑ musixx:
díky

Naděje jako svíce jas, potěší srdce štvané, čím temnější je noční čas, tím zářivěji plane.
VIVERE - MILITARE EST (Seneca)
Vím, že nic nevím. - Sokrates

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson