ejercicios álgebra

EJERCICIOS DE LOGICA

(I) Simbolizar las siguientes proposiciones utilizando conectivos lógicos, luego realizar la tabla de verdad y clasificar la proposición compuesta:
a) Si hoy es feriado,entonces hoy no es martes y mañana es día laborable.
b) Si hoy es martes, entonces hoy es feriado o mañana no es laborable.
c) Mañana el laborable sí y sólo sí hoy no es martes.
d) Si el bien X entray sale mucho más rápido, su valor monetario quedará más actualizado.

(II) Construir las tablas de verdad e indicar si son tautologías, contingencias o
contradicciones:
a) (p q  -q)  -p
b) [(p  q)  r]  -r  q
c) – (p  q)  p  -q
d) (p q)  (-q  p)

(III) Indicar si la información dada es suficiente para dar el valor de verdad de cada fórmula. Justificara) p  (q  r ) (r es falsa)
b) p  (q  r ) (p es verdadera y q es falsa)
c) (p  q)  ( - q  p ) (q es verdadera)
d) p  q  p  s (q es falsa)

(IV) Indicar si lassiguientes son reglas de inferencia (razonamiento deductivo válido)
a) p  q b) q  r c) p  q d) p  -q
-p -rq -q  r- _____ ______ ______ p  -r
q -q p_______
p
(sugerencia: para d) usar método indirecto)

(V) Transformar enproposiciones las siguientes funciones o esquemas proposicionales: 1) mediante sustitución de valores 2) mediante cuantificadores
a) Ana y X van al cine
b) X es manso
c) X es mayor que 5
d) X...