Nombre del mó dulo: Lenguaje ló gico 2.1 Formalizació n de enunciados en lenguaje ordinario. Tema: 2.2 Uso del lenguaje ló gico para describir situaciones.
Nombre: Antonio Roldan Mendoza
Tarea3
Instrucción: Interpreta las siguientes oraciones-proposiciones usando el lenguaje P para las
proposiciones compuestas y el lenguaje Ps para proposiciones cuantificadas. Guarda tu archivo tarea3TuprimernombreTuprimerapellido.doc y sú belo como tarea.
1) Si Cabañ as juega, el América gana. Si C^j -> A Donde C= Cabañas
y J= Juega entonces A=América Gana Ps 2) Si los precios de la bolsa bajan, el Si P -> D Donde P=precios de desempleo aumenta. la bolsa bajan entonces D= desempleo aumenta P 3) Enrique y Aurora son felices, solo si Marcos Si E^A <-> M Donde es rico. E=Enrique y A=Aurora son felices solo si M=Marcos es rico. Ps 4) Si x es menor que cero, entonces x no es Si X <-> 0 -> ~X Donde X=x positivo. es menor que 0=cero entonces ~X=x no es positivo Ps 5) Camaró n que se duerme, se lo lleva la Si C -> S Donde C=camarón corriente. que se duerme entonces S= se lo lleva la corriente P 6) Los bebes son iló gicos. Si B -> I Donde B=bebe entonces son I=ilógicos Ps 7) Todo aquel que puede domar un leó n, es Si T D -> A Donde T=todo admirado. aquel que D=Doma un león entonces A= es admirado P
Instrucciones: Interpreta 1. (p ∧ q) → (s ∨ t)
(tener dolor de cabeza y tener fiebre) entonces (tener gripa o
tener infección estomacal) 2. p ∧ q ∧ r ∨ ~s
tener dolor de cabeza y tener fiebre y tener dolor de cuerpo o
no tener dolor de cuerpo. 3. t ↔ p ∧ q ∧ r
tener infección estomacal entonces tener dolor de cabeza y
tener fiebre y tener dolor de cuerpo. 4. (p ∧~q) ∨(~p ∧q) → t
(tener dolor de cabeza y no tener fiebre) o (no ener dolor de
cabeza y tener fiebre) entonces tener infección estomacal. 5. (s ∨ t) → p ∨ q ∨ r
(tener gripa o tener infección estomacal) entonces tener dolor
de cabeza o tener fiebre o tener dolor de cuerpo. p = tener dolor de cabeza q = tener fiebre r = tener dolor de cuerpo s = tener gripa t = tener infecció n estomacal