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á