Gua de Ejercicios N 1
L
ogica Proposicional Cl
asica.
Lenguaje proposicional, f
ormulas; conectivos l
ogicos, tablas de verdad.
1) Determine cu
ales de las siguientes sucesiones de smbolos son formulas bien formadas (probablemente escritas usando las convenciones establecidas en clase para
simplificar la escritura), y cuales no lo son:
(a) (p q) r
(b) q r
(c) p q r q
(d) p q (r)
(e) q q
(f) p (r q) q
(g) q r q (r p) q
(h) [p p p] p r q
3) Si la f
ormula p es declarada verdadera, y las formulas q y r son declaradas
falsas Que valor veritativo le es asignado por las tablas de verdad a la formula
(p r) (q p) ? Y a la formula r [p (q r)] ?