Logica matematica

TALLER No. 2
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 aprobadopor el Ministerio de Educación o aprobar los exámenes de validación.

P: Para ser Bachiller
Q: Terminar los estudios en un colegio aprobado por el Ministerio de Educación
R: Aprobarlos exámenes de validación

RTA:
(q v r) p
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: Un número es par
Q: Esmúltiplo de 2
R: Es cero.

RTA:

p (q ∧ -r)

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

P: ‘X’ es un número es par
Q: ‘X2’ es un númeropar

RTA:

p q

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

P: ABC es un triángulo
Q: Es una figura plana, cerradaR: Tiene tres ángulos

RTA: p (q v r)

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

a) Nos vemos en un bus o en un tren.
[pic]

b) 2 es un número par y primo
[pic]c) Voy a la fiesta si y solamente si ella también va.
[pic]

d) Ninguno de los dos países ganó la guerra.
[pic]

e)Si estoy cansado o con hambre no puedo estudiar.
[pic]

2. 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)))
(p → (q v r)) ↔ ((p → q) v (p → r))

3. Según el siguiente enunciado: “Si comprendo un enunciado entonces puedo resolverlo”, plantear las proposiciones contraria, recíproca y...