logica proposicional-tablas de verdad (1)

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 .


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


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


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


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↔


6/10

T!'&!S DE VE"D!D


7/10

$#%ST"($$I#% DE T!'&!S DE VE"D!D


8/10

I%STIT(T# DE ED($!$I)% S(PE"I#" TE$%#&)GI$#

P*'&I$# DE &!S F(E"+!S !",!D!S



9/10


P*'&I$# DE &!S F(E"+!S !",!D!S



10/10


P*'&I$# DE &!S F(E"+!S !",!D!S


logica proposicional-tablas de verdad (1)

Documents