lògica y tablas de verdadmate

8/19/2019 Lògica y Tablas de Verdadmate

1/12

LÒGICA, TABLAS DELÒGICA, TABLAS DE

VERDADVERDADLógica: Es la rama del conocimiento queLógica: Es la rama del conocimiento quetrata de los métodos de razonamientotrata de los métodos de razonamientomediante reglas y técnicas, con el fn demediante reglas y técnicas, con el fn dedeterminar si un argumento dado esdeterminar si un argumento dado esválido.válido.

Proposición: Es un enunciado u oraciónProposición: Es un enunciado u oración

declarativa de la cual se puede afrmardeclarativa de la cual se puede afrmarque es alsa o verdadera, pero no amasque es alsa o verdadera, pero no amascosas a la vez.cosas a la vez.


2/12

LÒGICA, TABLAS DELÒGICA, TABLAS DEVERDADVERDAD

!alor de !erdad: "e le llama as# a la!alor de !erdad: "e le llama as# a laveracidad o alsedad de una proposición.veracidad o alsedad de una proposición.

E$. %&'()*+ !alor de verdad !-.E$. %&'()*+ !alor de verdad !-.

E$. %')*+ !alor de verdad /-.E$. %')*+ !alor de verdad /-.

Las proposiciones para su estudio seLas proposiciones para su estudio seclasifcan en:clasifcan en:

a-a-Proposición simple.Proposición simple.

--Proposición compuesta.Proposición compuesta.

c-c-Proposición aierta.Proposición aierta.


3/12

CONECTIVOS LÒGICOSCONECTIVOS LÒGICOS


4/12

CONECTIVOS LÒGICOSCONECTIVOS LÒGICOS


5/12

CONJUNCIÒNCONJUNCIÒN

( 0 & y 1 0 ( !-( 0 & y 1 0 ( !-

( 0 & y 1 2 ( /-( 0 & y 1 2 ( /-

( 2 & y 1 0 ( /-( 2 & y 1 0 ( /-

( 2 & y 1 2 ( /-( 2 & y 1 2 ( /-

3onclusión: Es resultado es verdadero3onclusión: Es resultado es verdadero

cuando amas proposiciones seancuando amas proposiciones seanverdaderas.verdaderas.


6/12


7/12

DISYUNCIÒN INCLUSIVADISYUNCIÒN INCLUSIVA

( 2 * o ( 0 * !-( 2 * o ( 0 * !-

( 0 o ( 0 * !-( 0 o ( 0 * !-

( 2 * o ( 2 1 !-( 2 * o ( 2 1 !-

( 2 o ( 2 * /-( 2 o ( 2 * /-

3onclusión: El resultado es also, cuando3onclusión: El resultado es also, cuando

amas proposiciones sean alsas.amas proposiciones sean alsas.


8/12

DISYUNCIÒN EXCLUSIVADISYUNCIÒN EXCLUSIVA

4 ( 2 * o ( ) * !-4 ( 2 * o ( ) * !-

4 ( 0 * o ( ) ( /-4 ( 0 * o ( ) ( /-

4 ( ) 1 o 1 2 1 /-4 ( ) 1 o 1 2 1 /-

4 ( 0 * o ( 2 * !-4 ( 0 * o ( 2 * !-

3onclusión: El resultado será verdadero3onclusión: El resultado será verdadero

cuando amas proposiciones tengancuando amas proposiciones tenganvalores de verdad contrarios.valores de verdad contrarios.


9/12

CONDICIONALCONDICIONAL

"i 50* entonces 160&* !-"i 50* entonces 160&* !-

"i 50* entonces 162&* /-"i 50* entonces 162&* /-



3onclusión: El resultado será also cuando3onclusión: El resultado será also cuando

el antecedente sea verdadero y elel antecedente sea verdadero y elconsecuente sea also.consecuente sea also.


10/12

BICONDICIONALBICONDICIONAL

Es domingo si y sólo si ma7ana es lunes.Es domingo si y sólo si ma7ana es lunes.!-!-

Es domingo si y sólo si ma7ana es martes.Es domingo si y sólo si ma7ana es martes.

/-/-

8o es domingo si y sólo si ma7ana es8o es domingo si y sólo si ma7ana eslunes. /-lunes. /-

8o es domingo si y sólo si ma7ana no es8o es domingo si y sólo si ma7ana no eslunes.lunes.

!-!-

3onclusión: El resultado será verdadero3onclusión: El resultado será verdadero


11/12

SÌNTESISSÌNTESIS


12/12

lògica y tablas de verdadmate

Documents