8/17/2019 Logica Proposicional-tablas de Verdad (1)
1/10
Dirección General deEducación y Doctrina
Viceministerio dePolíticas para la
Defensa
Instituto de Educación SuperiorTecnológico Público de las
Fueras !rmadas
OGICA PROPOSICIONA
ic. Milagros Flores .
8/17/2019 Logica Proposicional-tablas de Verdad (1)
2/10
LOGICA
Lógica es la ciencia que estudia la forma del
razonamiento, es una disciplina que pormedio de reglas y técnicas determina si unargumento es válido. La lógica esampliamente aplicada en la losofía,
matemáticas, computación, física.
LOGICA PROPOSICIONAL
La lógica proposicional es la disciplina quetrata de métodos de razonamiento, es decir,de la validez o invalidez de un argumento.El razonamiento lógico se emplea en cienciasde la computación para vericar si son o no
correctos los programas y en la vida
8/17/2019 Logica Proposicional-tablas de Verdad (1)
3/10
P"#P#SI$I#%na proposición es todo enunciado al quese le puede asignar uno y sólo uno de los
valores de verdad, que son!
"E#$%$E#& '"( o)%L*& ')(
+or lo general, las proposiciones serepresentan con las letras minsculas delalfabeto, desde la letra p en adelante, esdecir, p, q, r, s, t, ... etc.
E-emplos!p! La luna es cuadradaq! es un nmero primor! Las ara/as son mamíferos
8/17/2019 Logica Proposicional-tablas de Verdad (1)
4/10
$&!SES DE P"#P#SI$I#%ES
%0ora conoceremos las clases de proposiciones!PROPOSICIONES ATOMICAS O SIMPLES.
*on aquella que tienen un su-eto y un predicado.*on las proposiciones que carecen del término deenlace.E1E2+L&*!
3uzco es la capital imperial del +er.456 7 859 : 456 PROPOSICIONES MOLECULARES O
COMPUESTAS.
#esultan de unir dos o más proposiciones atómicasmediante un término de enlace.E1E2+L&*!Las vitaminas y los minerales son esenciales paralos seres 0umanos.8
8/17/2019 Logica Proposicional-tablas de Verdad (1)
5/10
$#%E$TIV#S GI$#S
CONECTIVO
LOGICO EXPRESION EQUIVALENTE
OPERADOR
LOGICO
NEGACION
>o, -amas, nunca, tampoco '+. atómica(
>o es cierto que, >o se da el caso que, >o ocurre que,
Es absurdo que, Es falso que, >o es verdad que, Es
imposible que, Es inadmisible que, >o es posible que,
'para +. moleculares que afectan en su con-unto(
?
CONJUNCION
@A eA peroA sin embargoA ademásA aunqueA no obstanteA
masA a la vezA aunA tambiénA tantoA tantoA igualmente. B
DISYUNCION
INCLUSIVA
&A uA y5oA salvo queA e7cepto que
C
DISYUNCION
EXCLUSIVA
&D&D A o bienDo bien
CONDICIONAL
O
IMPLICACION
*iDentoncesDA *iDimplicaDA *iD por consiguienteDA
*iDluegoDA *iDde manera queDA*iDpor lo tantoDA*iDporqueDA*iDdado queD →
BICONDICIONA
L
Dsi y solo siDA D es equivalente D A Dsiempre que y
solo cuandoD A Dse dene como D A Dsi de la formaD
A Des idénticoD↔
8/17/2019 Logica Proposicional-tablas de Verdad (1)
6/10
T!'&!S DE VE"D!D
8/17/2019 Logica Proposicional-tablas de Verdad (1)
7/10
$#%ST"($$I#% DE T!'&!S DE VE"D!D
8/17/2019 Logica Proposicional-tablas de Verdad (1)
8/10
I%STIT(T# DE ED($!$I)% S(PE"I#" TE$%#&)GI$#
P*'&I$# DE &!S F(E"+!S !",!D!S
$#%ST"($$I#% DE T!'&!S DE VE"D!D
8/17/2019 Logica Proposicional-tablas de Verdad (1)
9/10
I%STIT(T# DE ED($!$I)% S(PE"I#" TE$%#&)GI$#
P*'&I$# DE &!S F(E"+!S !",!D!S
$#%ST"($$I#% DE T!'&!S DE VE"D!D
8/17/2019 Logica Proposicional-tablas de Verdad (1)
10/10
I%STIT(T# DE ED($!$I)% S(PE"I#" TE$%#&)GI$#
P*'&I$# DE &!S F(E"+!S !",!D!S
$#%ST"($$I#% DE T!'&!S DE VE"D!D
Top Related