Sunteți pe pagina 1din 19

LGICA Y ALGORITMOS I

Tablas de Verdad
JESUS ALBERTO MAZO RAMOS

Qu es el Razonamiento?

Operacin mental por la cual a partir


de una o varias premisas se deduce
una nueva premisa, tambin llamada
conclusin.
Premisas:
a) Cristian es mayor que Vernica
b) Vernica naci dos aos antes que Silvana.
Conclusin: Cristian es mayor que Silvana

Es el anlisis formal de los razonamientos


Estudio de las alternativas vlidas de
inferencia.

Premisas:
a) Cristian es mayor que Vernica
b) Vernica naci dos aos antes que Silvana.
Conclusin: Cristian es mayor que Silvana
La conclusin es Verdadera o Falsa?

Qu es una Proposicin?
Oracin con valor referencial o
informativo, de la cual se puede predicar
su veracidad o falsedad, pero no ambas
a la vez

Ejemplos: Variables Proposicionales


Letras minsculas de la p a la z
p: 6 es un nmero primo.
q: Miriam se casar con Ricardo.

Tener en cuenta

Todas las proposiciones son oraciones,


pero no todas las oraciones son
proposiciones.
Las oraciones interrogativas, las
exclamativas o admirativas no son
proposiciones porque ninguna de ellas
afirma o niega algo y, por lo tanto, no
son verdaderas ni falsas
4/24/16

Universidad de la Amazonia

El cuadriltero es un polgono de
cuatro lados.
Qu es la lgica?
Debemos honrar a nuestros hroes.
iPor poquito! iCasi me saco la lotera!

Construimos regin con tica, inclusin


responsabilidad social y reciprocidad

4/24/16

Clases de proposiciones

Existen dos clases de proposiciones:


Proposiciones simples o atomicas
Proposiciones compuestas

Ejemplos:
La ballena es roja.
La raz cuadrada de 16 es 4.
Juan juega en el patio y Carlos en el
Jardn

Operadores Lgicos

Mondicos

Didicos

Negador
Conjuntor
Disyuntor Dbil
Disyuntor Fuerte
Implicador
Biimplicador

1.- Negador

Cambia el valor de verdad de una


proposicin simple.
p: Ricardo juega en el patio
q: Eduardo estudia matemtica

2.- Conjuntor

Afirma que las dos proposiciones son


verdaderas.
p: Ricardo juega en el patio
q: Eduardo estudia matemtica

3.- Disyuntor dbil

Afirma que una o ambas proposiciones


pueden ser verdaderas.
p: Ricardo juega en el patio
q: Eduardo estudia matemtica

4.- Disyuntor fuerte

Afirma que slo una de las


proposiciones puede ser verdadera.
p: Ricardo juega en el patio
q: Eduardo estudia matemtica

5.- Implicador

Indica una relacin de causa-efecto.


La proposicin de la izquierda
condiciona a la de la derecha.
p: Eduardo estudia matemtica
q: Eduardo juega en el patio

7.- Biimplicador

Indica una relacin de causa-efecto.


La proposicin de la izquierda
condiciona a la de la derecha.
Slo admite una y slo una
condicionante.
p: Eduardo estudia matemtica
q: Eduardo juega en el patio

Ejemplo

Tienes una cuenta de correo


electrnico institucional si estas
matriculado en la universidad o si
eres estudiante del PAIS
p: tienes una cuenta de correo
electrnico institucional
q: Estas matriculado en la
universidad
r: Eres estudiante del PAIS
4/24/16

15

TAUTOLOGA:

Es verdadera para todas las


asignaciones de valores de
verdad para sus proposiciones
componentes.

4/24/16

16

CONTRADICCIN

aquella proposicin que en todos


los casos posibles de su tabla de
verdad su valor siempre es F

4/24/16

17

CONTINGENCIA

Se entiende por verdad


contingente, o verdad de hecho,
aquella proposicin que puede
ser verdadera o falsa,
(combinacin entre tautologa y
contradiccin).

4/24/16

18

S-ar putea să vă placă și