C = "está chovendo" (sentença) |
R(x) = "x é uma rã" |
V(x) = "x é verde" |
S(x) = "x está saltitando"
Constantes (Ex.2): c = Caio, j = João, m = Maria |
M(x): é mecânico, E(x): é enfermeiro, A(x,y): x ama y.
Símbolos: ∀ (para todo) | ∃ (existe) | → (implica) | ∧ (e) | ∨ (ou) | ¬ (não) | ↔ (se e só se)