Date post: | 07-Aug-2018 |
Category: |
Documents |
Upload: | cristao-poporopo |
View: | 224 times |
Download: | 0 times |
of 6
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.
8/19/2019 Lògica y Tablas de Verdadmate
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.
8/19/2019 Lògica y Tablas de Verdadmate
3/12
CONECTIVOS LÒGICOSCONECTIVOS LÒGICOS
8/19/2019 Lògica y Tablas de Verdadmate
4/12
CONECTIVOS LÒGICOSCONECTIVOS LÒGICOS
8/19/2019 Lògica y Tablas de Verdadmate
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.
8/19/2019 Lògica y Tablas de Verdadmate
6/12
8/19/2019 Lògica y Tablas de Verdadmate
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/19/2019 Lògica y Tablas de Verdadmate
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.
8/19/2019 Lògica y Tablas de Verdadmate
9/12
CONDICIONALCONDICIONAL
"i 50* entonces 160&* !-"i 50* entonces 160&* !-
"i 50* entonces 162&* /-"i 50* entonces 162&* /-
"i 52* entonces 160&* !-"i 52* entonces 160&* !-
"i 52* entonces 162&* !-"i 52* 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.
8/19/2019 Lògica y Tablas de Verdadmate
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
8/19/2019 Lògica y Tablas de Verdadmate
11/12
SÌNTESISSÌNTESIS
8/19/2019 Lògica y Tablas de Verdadmate
12/12