1 Logica Proposicional VF

Universidad Tecnológica Nacional ÁLgebra y Geometría Analítica
FRBA - Extensión Áulica Bariloche

Clase 1 - 2019
Lógica proposicional
Es la rama de la lógica matemática que estudia proposiciones,
afirmaciones u oraciones, los métodos de vincularlas mediante
conectores lógicos y las relaciones y propiedades que se derivan de
esos procedimientos.
Proporciona reglas y técnicas para determinar si un argumento es
válido o no.
Estudia la coherencia interna de los argumentos
No trata de ver si un hecho es razonable
No explica fenómenos
1
Clase 1 - 2019
Proposición
Es un enunciado informativo al cual puede asignarse una
valoración de verdad.
Ejemplos:
Son proposiciones No son proposiciones:

La luna es verde ¡Es tarde!
2+3=5 ¿Qué hora es?
4x8=23
El Sol es fuente de energía
Proposiciones Valor de verdad

La luna es verde F
2+3=5 V
4x8=23 F
El Sol es fuente de energía V
2
Clase 1 - 2019
Proposición
Valor de verdad
Valor Falso (F) Contraejemplo:

Para probar que una proposición es falsa se debe encontrar UN solo
caso done no se cumpla
Ejemplo: “Todos los perros son negros”
Para probar que es falso alcanza con mostrar UN SOLO perro marrón
o blanco (no negro)
Valor Verdadero (V)

Suele ser más difícil ya que para probar que una proposición es
verdadera, se debe probar que se cumple en TODOS los casos
posibles.
Se debe probar a partir de algún axioma y deducirla lógicamente.
AXIOMA: Son afirmaciones verdaderas. Es decir tienen asignado un

valor de verdad. 3
Clase 1 - 2019
Proposición
Proposición Simple
Contiene una sola afirmación. Se simboliza con una letra
p, q, r, s, etc.
Ejemplo: Hoy es lunes.
Proposición compuesta
Contiene dos o más afirmaciones, es decir contiene dos
o más proposiciones simples o es la negación de una
afirmación.
Ejemplo: Hoy es lunes y llueve.
Llego el jueves o el sábado
4
Clase 1 - 2019
Conectivos lógicos (o conectores )

Relacionan proposiciones simples.
Todas las proposiciones compuestas están formadas por
proposiciones simples ligadas con conectivos lógicos.
Ejemplos:
5
Clase 1 - 2019
Conectivos lógicos.
Negación
Tablas de verdad:
6
Clase 1 - 2019
Conjunción
Ejemplos:
7
Clase 1 - 2019
Disyunción
p o q es verdadero si se cumple p, se cumple q o se cumplen las dos.
8
Clase 1 - 2019
Disyunción excluyente
P o q es verdadero si se cumple p o se
cumple q. Cuando no hay otra posibilidad.
Se denota p ó q; p ∨ q
9
Clase 1 - 2019
Implicación o Proposición condicional
10
Clase 1 - 2019
⇒
⇒
11
Clase 1 - 2019
Ejemplo: “Si brilla el sol ⇒ es de día”

p ⇒ q
Es suficiente que brille el sol para que sea de día
Es necesario que sea de día para que brille el sol
No es suficiente que sea de día para que brille el sol

No es necesario que brille el sol para que sea de día
q ⇒/ p 12
Clase 1 - 2019
Doble Implicación y Equivalencia
La doble implicación, el “sí y sólo sí” es p q p⇔q

verdadero cuando las dos proposiciones
tienen el mismo valor de verdad. V V V
V F F
Es falso cuando las dos proposiciones F V F
tienen diferente valor de verdad
F F V
Ejemplos: a es par sí y sólo sí es divisible por 2. (El cero es par!)

a es múltiplo de b sí y sólo sí a dividido b tiene resto 0.
13
Clase 1 - 2019
Doble Implicación y Equivalencia
p es condición necesaria y suficiente para q.
Se utiliza mucho en definiciones:

Un triángulo se llama equilátero ⇔ sus tres lados son iguales
⇔ se lee: “si y sólo sí”

“es equivalente a”
“es necesario y suficiente para”
14
Clase 1 - 2019
Ejemplo: p ∨ ~p p ∼p p ∨ ∼p
V F V
F V V
15
Clase 1 - 2019
CONTRADICCIÓN
Cuando el valor de verdad de la proposición compuesta Es falso
independientemente de los valores de verdad de las proposiciones simples.
Ejemplo: p ∧ ~p
p ∼p p ∧ ∼p
V F F
F V F
16
Clase 1 - 2019
17
Clase 1 - 2019
Cuantificación;
Cuantificador universal
∀x “para todo x”
“todo x”
Cuantificador existencial
∃x “existe x”
“existe al menos un x”
18
Clase 1 - 2019
19
Clase 1 - 2019
20
Clase 1 - 2019
Ejemplo:
Teorema: La suma de dos números enteros positivos es positiva.

H: a > 0 ; b > 0
T: a + b > 0
D: Directa:
a > 0 sumando b en ambos miembros
⇒ a + b > b Como por H, b > 0
⇒a +b>b>0
⇒ a+b>0
D: Indirecta
a + b ≤ 0 restando b en ambos miembros
⇒ a + b – b ≤ -b Como por H, b > 0 ⇔ -b < 0
⇒ a + b – b ≤ -b < 0
21
⇒ a < 0 Contradice la Hipótesis
Clase 1 - 2019
Ejemplo:
Teorema: La suma de dos números pares es par.

H: a= 2.k; b= 2.l con k, l números enteros
T: a + b = 2.m con m número entero
D: Directa:
a + b = 2.k+ 2.l
= 2.(k + l) número par ya que la suma de enteros
es un número entero.
D: Por el absurdo
Propongo que la suma a + b es un número impar:
a + b = 2.k+ 2.l = 2.m + 1
2.(k + l) = 2.m + 1 contradicción: un número par
es igual a un número impar!
22

1 Logica Proposicional VF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1 Logica Proposicional VF

Cargado por

Copyright:

Formatos disponibles

Universidad Tecnológica Nacional ÁLgebra y Geometría Analítica

FRBA - Extensión Áulica Bariloche

Son proposiciones No son proposiciones:

Proposiciones Valor de verdad

Valor Falso (F) Contraejemplo:

Valor Verdadero (V)

AXIOMA: Son afirmaciones verdaderas. Es decir tienen asignado un

Llego el jueves o el sábado

Conectivos lógicos (o conectores )

p o q es verdadero si se cumple p, se cumple q o se cumplen las dos.

Implicación o Proposición condicional

Ejemplo: “Si brilla el sol ⇒ es de día”

No es suficiente que sea de día para que brille el sol

La doble implicación, el “sí y sólo sí” es p q p⇔q

Ejemplos: a es par sí y sólo sí es divisible por 2. (El cero es par!)

p es condición necesaria y suficiente para q.

Se utiliza mucho en definiciones:

⇔ se lee: “si y sólo sí”

Teorema: La suma de dos números enteros positivos es positiva.

Teorema: La suma de dos números pares es par.

También podría gustarte