La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando
una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo , !. "ste mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman. "#U#$%&'!( "s cualquier frase u oracin que e)presa una idea *+!*!,%$%!#( ,on oraciones aseverativas que se pueden calificar como verdaderas o falsas. ,e representan con las letras minsculas del abecedario( p(q-r-s. "jemplos( .upac &maru muri decapitado. / 0 12 34 5 6 7 8 "#U#$%&'! &9%"+.!( ,on enunciados que pueden tomar cualquiera de los dos valores de verdad. "jemplos( ,i *:);( < = > ,e cumple que( * :/;( / = > es verdadero * :8;( 8 = > es falso "l valor de verdad de *:); depende del valor de <, tambin, se le conoce como funcin proposicional. $L&,", '" *+!*!,%$%!#",( 1. *roposicin simple( ,on proposiciones que no tienen conjunciones gramaticales ni adverbio de negacin. "jemplos( $incuenta es mltiplo de diez 8. *roposicin $ompuesta( ?ormada por dos o mas proposiciones simples unidas por conectivos lgicos o por el adverbio de negacin. "jemplo( 8/ es un numero primo y 4 es impar. CONECTIVOS LOGICOS ,@mbolos que enlazan dos o ms proposiciones simples para formar una proposicin compuesta. Los conectores lgicos que usaremos son( SIMBOLO OPERACIN LOGICA SIGNIFICADO A #"B&$%C# #o p D $!#EU$%!# p y q v '%,U#$%C# p o q $!#EU#$%C# ,i p entonces q 9%$!#'%$%!#&L p si solo si q '%,U#$%C# "<$LU,%F& GoHoHI !bs.( La negacin es un conector gondico, afecta solamente a una proposicin. OPERACIONES LOGICAS Y TABLAS DE VERDAD La validez de una proposicin compuesta depende de los valores de verdad de las proposiciones simples que la componen y se determina mediante una tabla de verdad. NEGACIN: &fecta a una sola proposicin. "s un operador mondico que cambia el valor de verdad de una proposicin. p -p V F F V CONJUNCIN: Fincula dos proposiciones mediante el conectivo lgico GyI p q p ^ q V V V F F V F F V F F F DISYUNCIN: Fincula dos proposiciones mediante el conectivo lgico de GoI p q p v q V V V F F V F F V V V F DISYUNCIN EXCLUSIVA: Fincula dos proposiciones mediante el conectivo logico (IoH..oH..I
p q p q V V V F F V F F F V V F CONDICIONAL: Fincula dos proposiciones mediante el conectivo lgico( G,iH.,entoncesHI
p q p q V V V F F V F F V F V V BICONDICIONAL: Fincula dos proposiciones mediante el conectivo lgico. GH..si y solo siHH..I p q p q V V V F F V F F V F F V !9,"+F&$%C#( La cantidad de filas en una tabla es( #fi!"#$ % 'onde GnI es la cantidad de proposiciones simples %J*!+.&#."( $uando los valores del operador principal son todos verdaderos se dice que el esquema molecular es &!'&()*i+(, ,e dir que el esquema molecular es +(%&-!.i+&(-i( si los valores del operador principal son todos falsos. ,i los valores del operador principal tiene por los menos una verdad y una falsedad se dice que es +(%&i*/%&/ ( +(%"i"&/%&/. LEYES DE LA ALGEBRA PROPOSICIONAL ,on equivalencias lgicas que nos permiten reducir esquemas moleculares complejos y e)presarlos en forma ms sencilla. Las demostraciones de dicKas leyes se Kacen construyendo la tabla de verdad en cada caso. CIRCUITOS LOGICOS Un circuito conmutador puede estar solamente en dos estados estables( cerrado o abierto, as@ como una proposicin puede ser verdadera o falsa, entonces podemos representar una proposicin utilizando un circuito lgico 1. $ircuito ,erie( 'os interruptores conectados en serie representan una conjuncin p q 5 p D q 8. $ircuito *aralelo( 'os interruptores conectados en paralelo representan una disyuncin