Presentación Unidad 1 PLP
Presentación Unidad 1 PLP
Presentación Unidad 1 PLP
EL LENGUAJE SIMBOLICO
La palabra
La palabra es el sonido o conjunto de sonidos articulados que expresan
una idea.
El carro es azul
S p
Enunciados y Proposiciones
Enunciado: es una oración donde se expresa una idea,
el cual no es necesariamente verdadera o falsa ya que
está condicionada por las circunstancias.
Ejemplo:
Marcela está en Cartagena
Es un enunciado porque expresa una idea claramente,
pero no así su valor de verdad, ya que será verdadero en
caso de que Marcela este realmente en Cartagena.
Enunciados y Proposiciones
La puerta es azul
La puerta es de madera
La puerta está vieja
Si la puerta es azul y de madera, entonces está vieja.
Simbolización de proposiciones
a ≡ Hoy es viernes
b ≡ 7 es un numero primo
p ≡ Bogotá es la capital de Chile
q ≡ Juan estudia derecho penal
Conectores Lógicos
Son palabras que conectan proposiciones.
Los conectores lógicos y los símbolos utilizados para
representarlos son:
“y” (˄ )
“o” (˅)
“si … entonces” (→ )
“no” ( ¬ )
“si y solo si” (↔ )
Recomendaciones para simbolizar
Leer la proposición todas las veces que sea necesario,
hasta comprender su significado.
Identificar las proposiciones atómicas (simples)
componentes de la proposición, escribiendo en cada
una de ellas la persona o cosa de la que se habla.
Determinar si la expresión usa o no conectivos,
recordar que puede contener sinónimos de cualquiera
de ellos.
Los signos de puntuación los convertimos en signos de
agrupación ( ).
Ejemplo: simbolicemos algunas
proposiciones:
Hoy es viernes y mañana es sábado.
p ≡ Hoy es viernes.
q ≡ Mañana es sábado.
p˄ q ≡ hoy es viernes y mañana es sábado
(p ˄ q) ˅ r
Supresión o asignación de
paréntesis
La posición de los paréntesis puede cambiar notoriamente
el significado de una expresión; por ello es necesario crear
alguna forma de saber en qué sitio debemos colocar los
paréntesis en una fórmula bien formulada, sobre todo si se
toman proposiciones del lenguaje cotidiano.
Los paréntesis son asignados al conectivo con mayor
prioridad.
Si le damos a cada conectivo una prioridad, esto nos
permite omitir ciertos paréntesis sin cambiarle el
significado a las expresiones. Por ejemplo: (p˄q) puede
escribirse p ˄ q.
Prioridad de los conectivos lógicos
Estas es la prioridad para cada uno de los conectivos:
¬ : prioridad más alta.
Las otras prioridades, en orden descendente, son las
siguientes:
˄
˅
→
↔
Ejemplo:
Suprimir el número máximo de paréntesis y que la
expresión tenga el mismo significado.
1. (( p ˄ q ) ˅ r )
podemos expresarla así : p ˄ q ˅ r
2. ( ( p ˅ q ) ˄ r )
Solo se pueden quitar los paréntesis extremos para
obtener ( p ˅ q ) ˄ r .
Ejemplo:
Tomemos la expresión sin paréntesis p˄ q ˅ r
procedemos de la siguiente manera: hay tres letras
proposicionales y dos conectivos binarios; el de la
prioridad más alta es ˄ por lo tanto, partiendo de las
letras p, q, r procedemos a crear la conjunción y
obtenemos (p˄ q ), r y por último obtenemos
((p˄ q ) ˅ r)
Tablas de verdad
Recordemos que una proposición simple solo tiene dos
posibilidades de valores de verdad, que sea verdadera o
que sea falsa. Una proposición compuesta en la cual se
utiliza uno de los conectores , como sabemos que es
verdad o falsa ya que se dan una serie de posibilidades.
La regla general dice que si tenemos n proposiciones
obtenemos 2n posibilidades.
Si tenemos 2 proposiciones será 22 = 4 posibilidades.
Conectores y los valores de verdad
Negación
Una negación se obtiene al anteponer la partícula “no”
a una proposición.
Existen algunos sinónimos para la negación : no es
cierto que, no ocurre que, no es el caso que, es falso
que , no sucede que, no es verdad que, no es cierto que.
Símbolo ¬
Ejemplo:
Vivir sin ti no puedo
No es cierto que hoy tengo clases de lógica.
Tabla de verdad de la negación
p ¬p
v f
f v
Ejemplo:
a≡ Todos los barcos son de vela (f)
Entonces
¬ a ≡ No es cierto que todos los barcos son de vela (v)
p ≡ La tierra es una estrella (f)
¬ p ≡ la tierra no es una estrella. ( v)
Ejercicio:
1. Si p es una proposición verdadera,
¿cómo es ¬ (¬ (¬ p))?
p q P˄ q
v v v
v f f
f v f
f f f
Disyunción
Una disyunción está formada por dos proposiciones y
la partícula de enlace “o”.
Este conectivo tiene dos formas:
1. Inclusivo: permite que ambas proposiciones
componentes puedan ser verdaderas o ambas falsas.
2. Exclusivo: no permite que ambas proposiciones
componentes puedan ser verdaderas o ambas falsas.
Símbolo de la disyunción inclusiva: ˅
Símbolo de la disyunción exclusiva: ˅
Ejemplo:
Hoy es viernes o mañana es sábado.
Manuel tiene un correo electrónico o escribe cartas.
El trabajo puede ser gratuito o remunerado.
Si p≡ la corriente es positiva
r ≡ la corriente es negativa
Entonces
p ˅ r ≡ la corriente es positiva o negativa
Tabla de verdad de la disyunción
inclusiva
p q (p˅ q)
v v v
v f v
f v v
f f f
Tabla de verdad de la disyunción
exclusiva
p q (p˅ q)
v v f
v f v
f v v
f f f
Condicional
Un condicional está formado por dos proposiciones y la
partícula de enlace “ si… entonces”
Símbolo →
En la expresión p → q p antecedente y a q consecuente
Para el condicional p → q podemos tomar como
sinónimos:
P es condición suficiente para q
Si p , q
q, si p
q es condición necesaria para p
Ejemplo:
Si tú te vas, igual te quiero.
Si hoy es viernes , entonces mañana es sábado.
Tener 18 años es condición suficiente para viajar al
exterior.
María ganará el concurso si participa.
Tabla de verdad del condicional
p q (p→ q)
v v v
v f f
f v v
f f v
Bicondicional
Un bicondicional está formado por dos proposiciones y
la partícula de enlace “… si y solo si…”
Símbolo ↔
Sinónimos del bicondicional: “ si y solamente si”, “
siempre y cuando” “ es condición necesaria y suficiente
para”
Ejemplos
Hoy es viernes si y solo si mañana es sábado
Un menor puede contraer matrimonio si y solo si tiene
el permiso expreso de sus padres.
Tabla de verdad del bicondicional
p q P↔ q
v v v
v f f
f v f
f f v
Tautología y contradicción
Son tautología aquellas proposiciones que tienen valor
de verdad siempre verdadero, sin importar los valores
que tengan sus proposiciones componentes.
Símbolo: T
p q (p ˄ q) ¬ (p ˄ q) ¬p ¬q ¬ p˅ ¬q ¬ (p ˄ q) →
(¬ p˅ ¬q )
Diagramas de Certeza