Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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