TALLER 2 LOGICA MATEMATICA

1. Escriba en forma simbólica procurando transcribir la idea original de la frase.

a) Para ser bachiller es necesario terminar los estudios en un colegio aprobado por el Ministerio de Educación o aprobar los exámenes de validación.

p = {Ser bachiller}

q = {Terminar los estudios en un colegio aprobado por el Ministerio de Educación}

r = {Aprobar los exámenes de validación}

p → (q v r)

b) Un número es par, sí y sólo sí, es múltiplo de 2 y no es cero.

p = {Número par}

q = {Múltiplo de 2}

r = {Cero}

p ↔ (q ᴧ ¬r)

c) Si ‘X’ es un número par, entonces ‘X2’ es un número par.

p = {X número par}

q= {x2 número par}

p → q

d) ABC es un triángulo sí y sólo si, es una figura plana, cerrada y tiene tres ángulos.

p = {ABC triangulo}

q = {Es una figura plana}

r = {Es una figura cerrada}

s = {Tiene tres ángulos}

p ↔ {(q ᴧ r) ᴧ s}

2. Escriba en forma simbólica (escoja las letras adecuadas para representar las diferentes proposiciones elementales) y represéntelas por medio de conjuntos.

a. Nos vemos en un bus o en un tren.

INTERSECCION DISYUNTA

p = {Nos vemos en un bus}

q = {Nos vemos en un tren}

U p v q

b. 2 es un número par y primo

UNION INTERSECANTE

p = {2 numero par}

q = {2 numero primo}

U p ᴧ q

c. Voy a la fiesta si y solamente si ella también va.

p = {Voy a la fiesta}

q = {Ella va a la fiesta}

U p ↔ q

d. Ninguno de los dos países ganó la guerra.

p = {Los dos países}

q = {Gano la guerra}

U

e. Si estoy cansado o con hambre no puedo estudiar.

p = {Estoy cansado}

q = {Estoy con hambre}

r = {Puedo estudiar}

U

3. Escriba la tabla de verdad de las siguientes fórmulas proposicionales e indicar si es una tautología.

(((p v q) → q) ' ٨ ((p → r') → (q → r)))

NO ES TAUTOLOGÍA

(p → (q v r)) ↔ ((p → q) v (p → r))

SI ES TAUTOLOGÍA

4. Según el siguiente enunciado: “Si comprendo un enunciado entonces puedo resolverlo”, plantear las proposiciones contraria, recíproca y contrarrecíproca de esta expresión.

DIRECTA p → q Si comprendo un enunciado entonces puedo resolverlo.

CONTRARIA ¬p → (¬q) Si no comprendo un enunciado entonces no puedo resolverlo.

RECIPROCA q → p Si puedo resolver un enunciado entonces lo comprendo.

CONTRARRECIPROCA ¬q → (¬p) Si no puedo resolver un enunciado entonces no lo comprendo.

5. Usando tablas de verdad demostrar las siguientes leyes de inferencia:

a) Modus ponendo ponens

P → Q

P

Q

b) Modus tollendo tollens

P → Q

⌐Q

⌐P

c) Ley del silogismo disyuntivo.

P v Q P v Q

⌐ P ⌐ Q

Q P

6. Utilizar

...