Clase 2
Clase 2
Clase 2
Significado: “Y”, “además”, “también”, “pero”, “que”, “más”, “e”, “ni”, “punto”, “aunque”.
Ejemplo:
Ejemplo:
Laura compra un carro o una casa.
pvq
p: Laura compra un carro
q: una casa
Condicional
Son aquellas que establecen una condición que ha de cumplirse para que otra sea verdadera.
Significado: “pero si”, “a condición que”, “a no ser que”, “siempre que”, “con tal que”.
Ejemplo:
Te llevaré al cine si prometes ser puntual
p: Te llevaré al cine
q: prometes ser puntual.
Bicondicional
Ejemplo:
Enseño matemáticas si solo si me pagan con dinero.
p: enseño matemáticas
q: me pagan dinero
Tablas de Verdad
Buscamos establecer unas reglas que muestren la
forma de calcular el valor de verdad de una
proposición compuesta.
■ Simbología: ~
■ Tabla de Verdad:
p ~p
V F
F V
1. Negación
■ Ejemplos
– r: p > 5
– ~r: p≤ 5
2. Conjunción - “y”
■ Se utiliza para conectar dos proposiciones que se deben cumplir para que
se pueda obtener un resultado verdadero.
■ Simbología: Λ
p q pΛq
■ Tabla de Verdad: V V V
V F F
F V F
F F F
2. Conjunción
■ Ejemplos
– p: “6 < 0”
– q: “ 5 > 3”
– p Λ q: ?? ¿ V o F?
3. Disyunción – “o”
■ Simbología: V
p q pVq
■ Tabla de Verdad: V V V
V F V
F V V
F F F
3. Disyunción
■ Ejemplos
– p: pintare la pared
– q: pintare el techo
– p V q: ??
Negación
~
Conjunción
Λ Disyunción
– ~p V q V
– pΛqVr
– p V q Λ ~r
Proposiciones equivalentes
■ Dos proposiciones son equivalentes; si tienen el mismo valor de verdad en todas las
situaciones posibles.
■ Demuestre que
son equivalentes
Leyes Morgan
– ~p V ( q Λ ~p)
3. Implicación
■ Simbología:
p q p q
■ El conectivo NO es simétrico
V V V
V F F
■ Tabla de Verdad:
F V V
F F V
3. Implicación
■ Ejemplo:
– p: la demanda crece.
– q: las compañías se expanden.
p q
3. Implicación
■ Reescriba cada una de las siguientes proposiciones en
simbolos.
CUIDADO
– Si apruebo matemática, entonces el sol saldrá mañana.
Ejemplo 1
– V (6=3)
– (5 < 2) F
– (3 ≠ 2+ 1) V
Equivalencias
Ejemplo 2
■ Escriba una proposición equivalente para cada condicional sin utilizar el conectivo si…
entonces
– Si tu lo construyes, el vendrá