LÓGICA CUANTIFICACIONAL EJERCICIOS RESUELTOS PDF

*
Cuantificador Universal 
Si a una función proposicional, le anteponemos la expresión "para todo x", estaremos indicando el sentido universal de dicha función proposicional, obteniéndose ahora una proposición lógica. 

Cuantificador Existencial 
Si a una función proposicional, le anteponemos la expresión "existe un x tal que", estaremos indicando el sentido existencial (que exista) de dicha función 

Circuitos lógicos 
El valor de verdad de una proposición puede asociarse con interruptores que controlan el paso de la corriente. 

Así si una proposición es verdadera, el interruptor estará cerrado y la corriente pasará. Si la proposición es falsa, el interruptor estará abierto y la corriente no pasará

Ejercicios resueltos de examen de admisión a la Universidad