LÓGICA MATEMÁTICA PROPOSICIONAL EJEMPLOS RESUELTOS TIPO EXAMEN DE ADMISIÓN A LA UNIVERSIDAD

*
*
*
*
PREGUNTA 1 : 
Simbolice el siguiente argumento detectando sus conectivos lógicos escritos literalmente: 
Si Renato va a trabajar tarde, entonces le pagarán menos y si no va a trabajar tarde, le pagarán más. 
Considere: 
p: Renato va a trabajar tarde 
q: le pagaran menos r: le pagarán más 
A) [( p → q) ∧ ( p → ∼ r)] 
B) [( p → q) ∧ (∼p → r)] 
C) [( p → ∼ q) ∧ ( p → r)] 
D) [(∼ p → q) ∧ (∼p → r)] 
Rpta. : "B"
PREGUNTA 2 : 
Enlace cada proposición compuesta con su formalización, teniendo en cuenta las siguientes proposiciones simples: 
p: llueve 
q: hace sol 
r: corre viento 
Proposiciones compuestas: 
I. Llueve y hace sol. 
II. No es cierto que si llueve y hace sol corre viento. 
III. Corre viento únicamente si llueve y hace sol. 
IV. Cuando corre viento, no llueve o no hace sol. 
Formalización: 
a. p ∧ q 
b. r ↔ (p ∧ q) 
c. r → (∼p ∨ ∼ q) 
d. ∼ [(p ∧ q) → r] 
Indique la secuencia correcta. 
A) IIa, IIIb, IVc, Id 
B) Ia, IIIb, IVc, IId 
C) Ia, IVb, IIIc, IId 
D) IVa, IIIb, Ic, IId 
Rpta. : "B"
PREGUNTA 3 : 
Si la proposición ( p ∨ ∼ r) ↔ (s → w) es verdadera y (∼w) → (∼s) es falsa, halle el valor de verdad de las proposiciones. 
I. ( p ∧ q) ∨ (r ∨ s) 
II. (s ↔ ∼ w) → (r ∧∼ p) 
III. [t → (w ∨ ∼ p)] ∧ ∼ ( p → r) 
A) VVV 
B) VVF 
C) FFF 
D) VFF 
Rpta. : "B"
*
Vamos a dar la lista de sus símbolos, sus reglas de formación y hemos de construir una teoría formal para ese lenguaje.
 También vamos a dar una interpretación para sus símbolos que nos ayudará para estudiar este lenguaje desde un punto de vista distinto al sintáctico, en el cual se estudian axiomas y reglas de inferencia. 
Este otro punto de vista es el llamado enfoque semántico, que es muy importante cuando uno estudia formalizaciones de teorías matemáticas. 
Lenguaje formal de proposiciones 
Semántica de proposiciones

Ejercicios resueltos de examen de admisión a la Universidad