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 27. 05. 2013 15:21

Neth
Příspěvky: 57
Reputace:   0 
 

Predikátová logika, tautologie

Ahoj všichni, potřebovala bych poradit s následujícím příkladem.

Rozhodněte dle definice, zda je sentence $\alpha $ tautologie:

$\alpha  = P(a) \Rightarrow \forall y Q(a, y)$

Děkuju předem za všechny odpovědi.

Offline

 

#2 16. 07. 2013 10:51

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

Re: Predikátová logika, tautologie

Ahoj,

nevím zda je to ještě aktuální, ale koukněme se na to.

1) $\alpha$ není sentence, protože obsahuje volnou proměnou

2) představme si, že univerzum jsou lidé.
nyní nechť:
$a$ znamená Martin. (například)
$P(x)$ znamená x je mladý.
$Q(x,y)$ znamená x je vyšší než y.

Co teď znamená ta věta? Je (musí být) pravdivá?

Dva jsou tisíckrát jeden.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson