Curso

de fortalecimiento
BUAP 2020

Imparte: Adriana Torres Velázquez

Tema 5:
Correo electrónico: adyvelazquezcmp@gmail.com
Simbolización
SIMBOLIZACIÓN

• Traducir palabras del lenguaje

cotidiano al lógico.
• Para ello se requiere sustituir :
• Proposiciones por variables
• Conectivas por su respectivo
símbolo.
• Signos de agrupación: (), [], {}
VARIABLES
LÓGICAS

• Son letras del alfabeto: p, q, r, s, t, u, etc.

• Corresponde a cada una de las proposiciones del argumento.

CONECTIVAS
LÓGICAS

NOMBRE CONECTIVA SIMBOLO

CONJUNCIÓN
Y (,/.) unir &^
DISYUNCIÓN
O V
IMPLICACIÓN
Si… entonces →
Si,
Por lo tanto (./,)
COIMPLICACIÓN
Si y sólo sí C
NEGACIÓN
SIGNOS DE
AGRUPACIÓN

Son signos que sirven para apoyar la lectura del argumento y evitar confusiones.

()
[]
{}
• Si Soy feliz, me gusta la filosofía.
•p →q

Soy feliz, me encantan las matemáticas.

p^ q
• Si hace sol entonces las brujas se peinan , si y sólo si llueve, entonces
las brujas no se peinan.

• (p →q )↔ (r → ~ q)
Reglas para
simbolizar

1. Leer el argumento.
2. Identificar las proposiciones y sustituirlas por variables.
3. Identificar las conectivas y sustituirlas por sus respectivos símbolos.
4. Agrupar las proposiciones con paréntesis, corchetes o llaves.
Ejemplos:
Simboliza los siguientes argumentos..

1. Soy feliz o no soy feliz

p v ~p
Ejemplos:
Simboliza los siguientes argumentos..

2. Te amo y me gustas
NOMBRE CONECTIVA SIMBOLO

Y (,/.) unir CONJUNCIÓN &^

p^q O DISYUNCIÓN V

Si… IMPLICACIÓN →
entonces
Por lo
tanto (./,)

Si y sólo sí COIMPLICACIÓN ↔

No NEGACIÓN ~
Ejemplos:
Simboliza los siguientes argumentos..

3. Sócrates es filósofo y es guapo.

Platón es filósofo y es guapo.
Por lo tanto, todos los filósofos son guapos.

1. p ^q
2. r ^ q [(p ^q) ^( r ^ q)] → s
→ 3. s
Ejemplos:
Simboliza los siguientes argumentos..
4. Si somos egoístas entonces evitaremos ayudar
a los demás.
• p →q NOMBRE CONECTIVA
Y (,/.) unir
SIMBOLO
CONJUNCIÓN &^

O DISYUNCIÓN V

Si… entonces IMPLICACIÓN →

Por lo tanto (./,)

Si y sólo sí COIMPLICACIÓN ↔

No NEGACIÓN ~
Ejemplos:
Simboliza los siguientes argumentos..
• p → q
4. Si somos egoístas entonces evitaremos ayudar a los
demás.

• p → q CORRECTA

• →p q INCORRECTA
 Ejercicio 1.
• Si el Hombre Lobo es un invento y lo mismo ocurre con Papá Noel
• entonces los niños son engañados.

p
 Ejercicio 1.
• Si el Hombre Lobo es un invento y lo mismo ocurre con Papá Noel/
• entonces los niños son engañados./
(p ^ q) →r

(p^q) → r
Ejercicio 2
Si este libro es interesante entonces tiene
muchas páginas.
No es interesante y no tiene muchas
páginas.
Por lo tanto no es de mi interés.
¨(p →q) ^ (~p ^~q) ] →~r
Ejercicio 2

• Si este libro es interesante/ entonces tiene muchas páginas./

p→ q
No es interesante/ y no tiene muchas páginas./
~p^~q
Por lo tanto no es de mi interés.
→ ~r

1. p→ q
2.
3.
~p^~q
Por lo tanto ~r
[(p→ q)^ (~p^~q)] →~r
Soy feliz, me encanta la filosofía.
Amo las matemáticas.
Por lo tanto, estudiarè filosofía de las matemáticas.

¨ ¨
[(p^q) ^r] →s
• No es cierto que te quiero y me gustas

• ~(p^ q)
• ~p ^ ~ q
GRACIAS!!