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 12. 08. 2011 11:13

Kitis
Zelenáč
Příspěvky: 12
Reputace:   0 
 

predikátová logika

Mám za úkol větu z výrokové logiky převést do predikátové logiky a u každého použitého predikátu povinně uvést deskriptor.

Jestliže žárovka svítí, pak je vlákno v pořádku.

Offline

 

#2 29. 08. 2011 08:55

Wotton
Logik
Místo: Plzeň
Příspěvky: 826
Reputace:   25 
 

Re: predikátová logika

mám dojem, že si trochu pleteš pojmy..:-)

$\forall x((Z(x)\wedge S(x))\rightarrow\exists y(V(y,x)\wedge P(y)))$

Z(x) ... x je žárovka
S(x) ... x svítí
V(y,x) ... y je vlákno x
P(y) ... y je v pořádku

Dva jsou tisíckrát jeden.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson