Está en la página 1de 4

LOGICA PROPOSICIONAL

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

p
5 p F q
q