LOGICA

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 18

lógica de

proposiciones
Proposiciones.

Llamaremos proposiciones a aquellas


frases del lenguaje natural, las cuales
podamos afirmar que son verdaderas o
falsas.
Ejemplos de proposiciones:
“Dos es un número par" Es verdadero.
"Tres es mayor que cuatro" Es Falso.
"Tres más cinco es mayor que cuatro" Es verdadero.
Una proposición es simple o atómica, si ninguna
parte de ella es a su vez una proposición.
“Dos es un número par".
"Tres es mayor que cuatro".
"Tres más cinco es mayor que cuatro".

Las proposiciones compuestas, están formados


de proposiciones simples y de conectivos que los
unen.
2 es un número entero y es positivo
Si llueve, el piso se moja
Si es un entero, entonces es real
Si estudio y hago los ejercicios, entonces apruebo
y paso de curso
Conectivos

Negación. Es aquel conectivo que niega la


proposición, y normalmente se utiliza
anteponiendo “no”, o anteponiendo la frase es
falso que.
Conjunción. Es aquel conectivo que une dos
proposiciones, incluyéndolas obligatoriamente a ambas.
"dos es par y tres es impar
Simbólicamente la conjunción “y” se representa en lenguaje
matemático con el símbolo 
Disyunción. Es aquel conectivo que une dos
proposiciones ofreciendo una alternativa entre una
proposición o la otra, así como también ofrece la
posibilidad que sean ambas.
La palabra "o“, que constituye el conectivo de disyunción,
y su símbolo es “”
Disyunción excluyente

Es la disyunción pero que su valor de verdad acepta una sola


proposición como verdadera.
Su notación es: 

Ejemplos
Me caso o con Rosita o con Doris.
Hoy a las 3 voy a Cusco o Arequipa.
Implicación o Condicional

Es aquél conectivo en el que se establece una


condición para que se cumpla la otra proposición.
“Si se cumple p, entonces se cumple q” p  q
Bicondicional o doble implicancia.
Es aquel conectivo de la forma:
“se cumple p si y solamente si se cumple q”.

p  q
Esto significa que también se cumple la situación inversa,
Símbolos Auxiliares
Valores de verdad

negación:

p p
V F
F V
Valores de verdad de la conjunción:

p q pq
V V V
V F F
F V F
F F F
Valores de verdad de la disyunción:

p q pq

V V V
V F V
F V V

F F F
Valores de verdad
Disyunción excluyente

p q p q

V V F
V F V
F V V

F F F
Valores de verdad de la implicancia:

p q pq
V V V
V F F
F V V
F F V
Valores de verdad de la bicondicional:

p q pq

V V V
V F F
F V F
F F V
Tautología
Son aquellas proposiciones que siempre son
verdad.

Contingencia
Son aquellas proposiciones que pueden ser verdad
o falso, dependiendo de los valores de verdad de
las proposiciones que le componen.
Contradicciones.

Son aquellas proposiciones que siempre son


falsas, sin importar los valores de verdad de las
proposiciones que la componen.

También podría gustarte