Professional Documents
Culture Documents
Ejercicios Sobre Formalización y Evaluación Logica Proporcional
Ejercicios Sobre Formalización y Evaluación Logica Proporcional
5. Si “s” y la proposición s → ( p q) son verdaderas, indique los valores de verdad de las siguientes
proposiciones:
a) ( p q)
b) ( p → q ) s
c) s (q → p)
6. De la falsedad de la proposición: ( p → q) ( r → s)
Se deduce que el valor de verdad de los esquemas moleculares:
A = ( p q) ( q)
B = ( r q ) ( q r ) s
C = ( p → q ) → ( p q ) q
7. De la falsedad ( p → q ) ( r → s ) , se deduce que el valor de verdad de los esquemas son:
a. ( q \ s ) p → ( p r )
b. ( r s) ( p → q)
c. p → q → ( s → r )
d. ( p s ) ( q r ) ( p q )
d. ( p → q ) ( r p ) → ( r s ) ( t r)
10. En la proposición lógica: “Thales de Mileto fue matemático tal como filódofo”. Calvino fue
protestante si y solamente si no se sometió a la ortodoxia católica. En consecuencia Thales fue
matemático salvo que Calvino fue protestante. El número de operadores lógicos diferentes es: