Etica en ciencia y tecnologia

Lógica de Predicados

La lógica de predicados es un lenguaje mas de la matematicas. Sin menospreciar otrs sistemas de lógica que se han estudiado, algunos por razones filosoficasy otros por la importancia de sus aplicaciones, incluyendo las ciencias de la computación.
En las ciencias de la computación, sabemos que muchas cosas pueden ser codificadas enbits y esto justifica la restriccion de la lógica boleana(dos valores).En ocasiones es conveniente hacer referencia directamente a tres ó mas valores discretos.
Por ejemplo unacompuerta lógica puede estar en un estado indeterminado antes de basarse en un nivel estable de voltaje. Esto puede ser formalizado en tres valores lógicos con un valor {$ X $} en la sumade de verdadero y falso. La definición de los operadores se extiende a los nuevos valores, por ejemplo, {$ X $} y verdadero = {$ X $}.
EJEMPLO: Consideremos las 2 sentencias, “1< 2″ y “Esta lloviendo”. la primera sentencia siempre es verdadera mientras que la segunda es verdadera solo en algunas ocasiones. esto puede ser expresado en el cálculo depredicados como: ‘Para todas ocasiones de t, el valor “1 < 2″ en la ocasion t, es verdadero’ y ‘Para algunas ocasiones de t, el valor de “Esta lloviendo”, en la ocasion t es verdadero’.___________ ___ ___________________!__________________ _____ ______ ___________<_
_________ _____________________________,_ , ___ ___$_?___ ______ _ ________ _____ _
______ ___________ ______ _________= __ _(__ _$________<_____________A_
:___ _ __!__"__#,______ _ ______&_%__
:_# _$__ __ ___!__"__# _(__ %_
2_ _______&__ ___ __!______ _________(__ ! _____ .___ ___ __________ ___ ___ _&____ ___
,______ _$_ ?__ __!____ ___ _(___ _ ___ ____ _ __ .___ _,________ ___ ____ __________
! ________ ____ #__!____