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

#1 06. 01. 2016 21:46 — Editoval Trolstover (06. 01. 2016 22:15)

Trolstover
Příspěvky: 72
Škola: ŠPŠ
Pozice: študent
Reputace:   
 

Predikatova logika

Zdravim,

mam zapisat "Precital som aspon 2 knihy" , ako by to vyzeralo ak C(x) = cital som x , napadlo ma
$(\exists x)\wedge (\exists y)(C(x) \wedge C(y)\wedge (\forall z)(('(z=x)\wedge '(z=y))\Rightarrow (C(z)\vee 'C(z)))$
ale neviem ci je to spravne , ako by to malo byt?

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson