EJERCICIOS DE LOGICA PROPOSICIONAL

A.-Indicar si los siguientes enunciados son proposiciones.

1) Gabriel Garca Mrquez escribi Cien aos de soledad.

2) 6 es un nmero primo.
3) 3+2=6
4) 1 es un nmero entero, pero 2 no lo es. _
5) x + y > 5
6) Te vas?
7) Compra cinco azules y cuatro rojas.
8) x = 2
9) 7 3 = 4
10) cuatro ms dos es chico

B.-Resolver las siguientes proposiciones, e indicar si son tautologas,

contingencias o contradicciones. ( usamos la negacin como ).

1) ( p q ) q p

2) ( p q ) q p

3) ( p q ) r

4) p q r p r q r

5) p r r q p q

6) p q r p r q r

7) ( p q ) q p

8) p q q p

9) p q q

10) p p q

11) p q q p

12) p q p p q
C.-Sean las proposiciones

p: Est nevando.
q: Ir a la ciudad.
r : Tengo tiempo.

(a) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de
las afirmaciones

(a.1) Si no est nevando y tengo tiempo, entonces ir a la ciudad.

(a.2) ir a la ciudad entonces tengo tiempo.
(a.3) No est nevando.
(a.4) Est nevando, y no ir a la ciudad.

(b) Enunciar las afirmaciones que se corresponden con cada una de las
proposiciones siguientes:

(b1) q r p
(b2) r q
(b3) q r r q
(b4) r q

Observacin:

Conectivo: entonces puede expresarse en lenguaje como solo si.