Ejercicios Lógica

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 esferiado, 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) Siel bien X entra y 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 ocontradicciones:
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 verdadde cada fórmula. Justificar
a) 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 las siguientes son reglas de inferencia (razonamiento deductivo válido)
a) p ( q b) q ( r c) p ( q d) p ( -q-p -r q -q ( r- _____ ______ ______ p ( -r
q-q p _______
p
(sugerencia: parad) usar método indirecto)

V) Transformar en proposiciones las siguientes funciones o esquemas proposicionales: 1) mediante sustitución de valores 2) mediante cuantificadores
a) Ana...