V F
π . . .
. . .
P P (P)
P P
(P)
P(P)
V
F
P Q P Q P Q
P Q
P Q P Q
V V
V F
F V
F F
P Q P Q P Q
P Q
P Q P Q
V V
V F
F V
F F
P Q P Q P Q
P Q Q
P Q P Q
V V
V F
F V
F F
PQ P P Q
P Q P Q P Q P
Q . . .
P Q P Q
V V
V F
F V
F F
f g
fg
[( P)Q]
[P Q] [( P)Q]
. . . . . .
(P)
[Q(P)]
[(PQ) (QP)]
(P)P
P(P)
PP
P Q
(PQ)[( Q)(P)]
(Q)(P)
PQ
(P Q); (P Q)
A
A(x, y, . . .)
xRx
x A(x)
A(x)A(x)
A(x)x
∀ ∃
• ∀x, A(x)x A(x)
A(x)x
• ∃x, A(x)x A(x)
A(x)x
• ∃!x, A(x)x A(x)
A(x)x
x, A(x)
x
xR+,3x+ 2 >1x= 0 3 ×0 + 2 = 2 >1
xR+,3x+ 2 >1x
x x >0
f[0 ,+[f
x[0 ,+[, f(x) = 0.
f
(x, P (x))
(x, P (x))
,A(x)
∀ ∃ A(x)A(x)
(un)nN
MR,nN, un6M
(vn)nN
1 / 8 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !