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 22. 01. 2017 20:25

pb1809
Příspěvky: 56
Reputace:   0 
 

Predikátová logika - logický důsledek

Ahoj,

mám tady tenhle příklad:
//forum.matweb.cz/upload3/img/2017-01/12601_Sni%25CC%2581mek%2Bobrazovky%2B2017-01-22%2Bv%25C2%25A020.15.06.png

Takto jsem to snad dobře zformalizoval:
Hlavní formule: $(\exists x)(f(x)\wedge s(x)),(\forall x)(f(x)\Rightarrow \neg a(x))$

I: $(\exists x)(s(x)\wedge \neg a(x))$
II: $(\forall x)(a(x)\Rightarrow f(x))$
III: $(\exists x)(s(x)\wedge a(x))$
IV: $(\forall x)(a(x)\Rightarrow \neg s(x))$

Jsem si jistý, že I. je logickým důsledkem a III. není.
Ale u II. a IV. si jistý nejsem. Mě obě vychází jako logický důsledek, ale ani jedna prý log. důsledkem není.

Předem děkuji za pomoc.

Offline

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

#2 23. 01. 2017 16:54

Avokado
Příspěvky: 67
Reputace:   2 
 

Re: Predikátová logika - logický důsledek

Ako si dospel k tomu ze II. a IV. su log. dusledkami ?

Skusal si si to napr. nakreslit ako vyzeraju mnozinytychto ludi ?

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson