logica y algoritmos - tablas de verdad
Post on 06-Jul-2018
231 Views
Preview:
TRANSCRIPT
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
1/19
LÓGICA Y ALGORITMOS I
Tablas de Verdad
JESUS ALBERTO MAZO RAMOS
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
2/19
¿Qué es el Razonamiento?
• Operacin mental por la cual a partir!e una o "arias premisas se !e!uceuna nue"a premisa# tam$ién llama!a
conclusin%Premisas:
a) Cristian es mayor que Verónica
b) Verónica nació dos años antes que Silvana.
Conclusión: “Cristian es mayor que Silvana”
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
3/19
• Es el an&lisis 'ormal !e los razonamientos• Estu!io !e las alternati"as "&li!as !e
in'erencia%
Premisas:
a) Cristian es mayor que Verónica
b) Verónica nació dos años antes que Silvana.
Conclusión: “Cristian es mayor que Silvana”
¿La conclusión es Verdadera o Falsa?
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
4/19
¿Qué es una (roposicin?
• Oracin con "alor re'erencial oin'ormati"o# !e la cual se pue!e pre!icarsu "eraci!a! o 'alse!a!# pero no am$as
a la "ez
E)emplos* +aria$les (roposicionales
Letras min,sculas !e la -p. a la -z.• p* / es un n,mero primo%• 0* Miriam se casar& con Ricar!o%
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
5/19
Tener en cuenta
123124/ 5
To!as las proposiciones son oraciones#pero no to!as las oraciones sonproposiciones%
Las oraciones interro6ati"as# lase7clamati"as o a!mirati"as no sonproposiciones por0ue nin6una !e ellas
a8rma o nie6a al6o 9# por lo tanto# noson "er!a!eras ni 'alsas
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
6/19
Universidad de la Amazonia
Construimos región con ética, inclusiónresponsabilidad social y reciprocidad
• El cua!ril&tero es un pol:6ono !ecuatro la!os%
• ¿Qué es la l6ica?• ;e$emos
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
7/19
>lases !e proposiciones
• E7isten !os clases !e proposiciones* – (roposiciones simples o atomicas – (roposiciones compuestas
E)emplos*La $allena es ro)a%
La ra:z cua!ra!a !e 4/ es 1% Juan )ue6a en el patio 9 >arlos en el
Jar!:n
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
8/19
Opera!ores L6icos
Monádicos
Diádicos
Negador
Conjuntor Disyuntor Dbil
Disyuntor !uerte
"m#licador
$iim#licador
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
9/19
4% @e6a!or
• >am$ia el "alor !e "er!a! !e unaproposicin simple%
#: %icardo juega en el #atioq: &duardo estudia matem'tica
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
10/19
3% >on)untor
•
A8rma 0ue las !os proposiciones son"er!a!eras%
#: %icardo juega en el #atio
q: &duardo estudia matem'tica
˄
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
11/19
% ;is9untor !é$il
• A8rma 0ue una o am$as proposicionespue!en ser "er!a!eras%
#: %icardo juega en el #atio
q: &duardo estudia matem'tica
˅
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
12/19
1% ;is9untor 'uerte
• A8rma 0ue slo una !e lasproposiciones pue!e ser "er!a!era%
!
#: %icardo juega en el #atio
q: &duardo estudia matem'tica
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
13/19
5% mplica!or
•
n!ica una relacin !e causae'ecto%• La proposicin !e la iz0uier!acon!iciona a la !e la !erec
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
14/19
C% Biimplica!or
• n!ica una relacin !e causae'ecto%• La proposicin !e la iz0uier!a
con!iciona a la !e la !erec
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
15/19
E)emplo
• Tienes una cuenta !e correoelectrnico institucional si estasmatricula!o en la uni"ersi!a! o si
eres estu!iante !el (AS
123124/ 45
p* tienes una cuenta !e correoelectrnico institucional
0* Estas matricula!o en launi"ersi!a! r* Eres estu!iante !el (AS
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
16/19
TAUTOLODA*
• Es verdadera para todas lasasignaciones de valores deverdad para sus proposiciones
componentes.
123124/ 4/
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
17/19
>O@TRA;>>F@
• auella proposición ue en todoslos casos posibles de su tabla deverdad su valor siempre es !
123124/ 4C
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
18/19
>O@T@DE@>A
•
"e entiende por verdadcontingente, o verdad de #ec#o,auella proposición ue puedeser verdadera o $alsa,
(combinación entre tautologa !contradicción" .
123124/ 4G
-
8/18/2019 Logica y algoritmos - Tablas de Verdad
19/19
top related