Logica y algoritmos - Tablas de Verdad

8/18/2019 Logica y algoritmos - Tablas de Verdad

1/19

LÓGICA Y ALGORITMOS I

Tablas de Verdad

JESUS ALBERTO MAZO RAMOS


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”


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?


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%


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


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


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/19

Opera!ores L6icos

Monádicos

Diádicos

Negador

Conjuntor Disyuntor Dbil

Disyuntor !uerte

"m#licador

$iim#licador


9/19

4% @e6a!or

• >am$ia el "alor !e "er!a! !e unaproposicin simple%

#: %icardo juega en el #atioq: &duardo estudia matem'tica


10/19

3% >on)untor

•

A8rma 0ue las !os proposiciones son"er!a!eras%

#: %icardo juega en el #atio

q: &duardo estudia matem'tica

˄


11/19

% ;is9untor !é$il

• A8rma 0ue una o am$as proposicionespue!en ser "er!a!eras%



˅


12/19

1% ;is9untor 'uerte

• A8rma 0ue slo una !e lasproposiciones pue!e ser "er!a!era%

!




13/19

5% mplica!or

•

n!ica una relacin !e causae'ecto%• La proposicin !e la iz0uier!acon!iciona a la !e la !erec


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


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


16/19

TAUTOLODA*

• Es verdadera para todas lasasignaciones de valores deverdad para sus proposiciones

componentes.

123124/ 4/


17/19

>O@TRA;>>F@

• auella proposición ue en todoslos casos posibles de su tabla deverdad su valor siempre es !

123124/ 4C


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


19/19

Logica y algoritmos - Tablas de Verdad

Documents

Transcript of Logica y algoritmos - Tablas de Verdad