Lógica Proposicional

Curso: Lógica
Tema N°6
La Lógica Proposicional
Objetivos:
• Asimilar y manejar el marco conceptual de la Lógica Proposicional.
• Aplicar métodos decisorios para establecer la validez e invalidez de las
inferencias y de los esquemas o constructores lógicos moleculares.
• Aplicar técnicas formales de simbolización de proposiciones e inferencias.
09/06/2019 Docente: Ing. Diana Chipana G.

Curso: Lógica
Tema N°6.2
Lenguaje de la
Lógica Proposicional
Objetivos:
• Reconocer y diferencia r los diferentes símbolos primitivos de el Lenguaje de la
Lógica proposicional
•Realizar fórmulas bien formadas.
Docente: Diana Chipana G. 2

Curso: Lógica
La sintaxis, Semántica y Pragmática

del Lenguaje en la LÓGICA
SEMANTICA PRAGMÁTICA SINTÁXIS
Centrada en las Centrada en los Centrada en la

condiciones de efectos del estructura
verdad de las contexto sobre formal de las
oraciones las oraciones oraciones
LÓGICA
Dentro de la semántica sólo nos va a interesar la parte formal: el modo en que la

disposición formal de los elementos afecta a los valores de verdad
Curso: Lógica
El Lenguaje de la
Alfabeto de la Lógica ?
Todo lenguaje necesita de un alfabeto
ALFABETO
Conjunto de elementos primitivos desde los
que construimos sus expresiones.
Por ejemplo. El alfabeto latino no resulta ser

el mismo que el ruso.

Curso: Lógica
El Lenguaje de la
Alfabeto de la Lógica ?
Todo lenguaje necesita de:
REGLAS DE COMBINACIÓN DE LOS ELEMENTOS

PRIMITIVOS
Inglés y español comparten alfabeto, pero no

admiten las mismas combinaciones:
Por ejemplo: THR no es una combinación de
letras admisible en español

Curso: Lógica
EL LENGUAJE FORMALIZADO
DE LA LÓGICA PROPOSICINAL
LENGUAJE NATURAL Y FORMALIZADO

Curso: Lógica
El Lenguaje de la
El lenguaje de la lógica proposicional necesita tres tipos distintos de

símbolos:
S
Í
M
B
O
L
O
S

Curso: Lógica
El Lenguaje de la
1. VARIABLES PROPOSICIONALES
- Simbolizan oraciones o proposiciones, o unidades que
tienen un valor de verdad
- Utilizaremos las siguientes letras minúsculas:
p, q, r, s, t, u
- Si necesitamos simbolizar más oraciones (un número
infinito de ellas), recurrimos a subíndices numéricos:
p1, p2, p3, p4, p5 …

Curso: Lógica
El Lenguaje de la
1. VARIABLES PROPOSICIONALES
EJEMPLOS:
Son los equivalentes lógicos de:
- ‘Llueve’: p
- ‘Yo soy Pepe’: q
- ‘Mañana es viernes ’: r
- ‘El universo es una sucesión infinita de transmigraciones
cósmicas ’: p1

Curso: Lógica
El Lenguaje de la
2. CONECTIVAS LÓGICAS
- Las oraciones pueden conectarse entre sí por medio de
partículas con valor lógico
- Las principales partículas son cinco, que equivalen a las
siguientes:
Y , O, SI…(ENTONCES), SI Y SÓLO SI, NO

Curso: Lógica
El Lenguaje de la
- Estas partículas caen en dos grupos:
a) BINARIAS Ó DIÁDICAS : Las que conectan dos oraciones:
EJEMPLOS:
‘Pablito canta Y Cynthia baila.
‘Platón tiene razón O la tiene Aristóteles’
‘SI Dios no existe, todo está permitido’
‘Aprobaré lógica SI Y SÓLO SI estudio’

Curso: Lógica
El Lenguaje de la
- Estas partículas caen en dos grupos:

b) MONARIAS O MONÁDICAS: Las que se aplican a una
sola oración:
EJEMPLOS:
‘NO hay vida más allá de Marte’
‘NO todos los filósofos están locos’
‘Los filosófos NO están locos’

Curso: Lógica
El Lenguaje de la
- En lógica estas partículas reciben nombres y símbolos
especiales:
NO = NEGADOR
¬=~
Curso: Lógica
El Lenguaje de la
especiales:
Y = CONYUNTOR

Curso: Lógica
El Lenguaje de la
especiales:
O = DISYUNTOR

Curso: Lógica
El Lenguaje de la
especiales:
SI…(ENTONCES) = CONDICIONAL

Curso: Lógica
El Lenguaje de la
especiales:
SI Y SÓLO SI = BICONDICIONAL

Curso: Lógica
El Lenguaje de la
3. SÍMBOLOS AUXILIARES
- Son las barras, llaves, corchetes y paréntesis, que sirven para
agrupar los otros símbolos de manera que se puedan evitar
ambigüedades:
||, {}, (), [ ]

Curso: Lógica
El Lenguaje de la
RESUMEN
VARIABLES: p , q, r, s, t, u, p1, p2, p3 …

CONECTIVAS: ¬, , , , 
AUXILIARES: |,|,{,},(, ), [, ]

Curso: Lógica
Tema N°6.3
Formulas Bien Formuladas
Objetivos:
• Formular correctamente proposiciones y argumentos, a través de los símbolos
primitivos
Docente: Diana Chipana G. 20

Curso: Lógica
FORMULACIÓN DE PROPOSICIONES
Sea una proposición atómica o una proposición molecular:

Los pasos para formular una proposición son:
1. Identificar las conectivas; (y, o, si y solo si, entonces, no) y las proposiciones
2. Asignar las variables proposicionales a cada proposición y el símbolo
correspondiente a la conectiva.
EJEMPLO:
-“Daniela juega tenis sin embargo Roberto juega ajedrez”
1. Identificar conectivas
-“Daniela juega tenis sin embargo Roberto juega ajedrez
2. Asignar variables proposicionales
-“Daniela juega tenis sin embargo Roberto juega ajedrez
p  q

Curso: Lógica
FORMULACIÓN DE PROPOSICIONES
POR LO TANTO:
“Daniela juega tenis sin embargo Roberto juega ajedrez” = p  q
PRACTICANDO: CONECTIVAS: ¬, , , , 
• José esta atento en la clase y Juan está escuchando música. =
• No es el caso que aquel señor sea mi padre =
• Aplicamos el control de lectura hoy, o aplicamos la tarea académica mañana =
• Hoy esta lloviendo =
• Si dos ángulos adyacentes forman un par lineal, entonces son suplementarios =
• Este número es par si y solo si es divisible por dos =

Curso: Lógica
Formulas Atómicas
• Serán las que correspondan a las oraciones simples del

castellano.
• Se trata por tanto de las variables proposicionales:
p
q son (algunas) fórmulas atómicas
r
…

Curso: Lógica
Fórmulas Moleculares
• Las formaremos a partir de las atómicas, empleando las conectivas

lógicas:
pq
pr
son (algunas) fórmulas moleculares
qp
rq
q

Curso: Lógica
Ambigüedad
• En el lenguaje natural con frecuencia aparecen posibles

ambigüedades:
Pablito canta o Cynthia baila y Paola da palmas
• En lógica queremos construir fórmulas que excluyan toda
ambigüedad.
• En el lenguaje natural usamos diversos elementos para evitar la
ambigüedad, como:
1) pausas prosódicas,
2) signos de puntuación y,
3) el contexto.
• Pero en lógica sólo tenemos un recurso (parecido a 2): construir
las fórmulas con reglas muy precisas.
Curso: Lógica
Ambigüedad
- Nuestro principal recurso contra la ambigüedad son los

PARÉNTESIS.
Pablito canta o Cynthia baila y Paola da palmas
Asignando variables primitivas
p  Pablito canta ;
q  Cynthia baila;
r  Paola da palmas
Formulando:
pqr es AMBIGUA; equivale a:
Para evitar ambiguedades: S O L U C I O N
p  (q  r)  Pablito canta, o Cynthia baila y Paola da palmas
(p  q)  r  Pablito canta o Cynthia baila ,y Paola da palmas
Curso: Lógica
METAVARIABLES
- Para referirnos a fórmulas en general usaremos letras griegas:

   …
- Las llamaremos METAVARIABLES
- Una constante, como p, representa aquello que la hace
verdadera o falsa (llueve; las rosas son rojas, etc)
- Una metavariable, como , representa cualquier fórmula:
p ; ¬q ; pr ; p  (q  r) ; p (p p)
…
- Vamos a definir nuestras reglas de formación de fórmulas de
manera más precisa

Curso: Lógica
REGLAS DE FORMULACIÓN
• (i) Toda constante proposicional sola es una fórmula (atómica)

• (ii) Si  es fórmula, entonces ¬ es fórmula
• (iii) Si ,  son fórmulas, (  ), (  ), (  ), (  ) son
fórmulas
• (iv) Sólo son fórmulas las secuencias que satisfacen (i), (ii) o (iii)

Curso: Lógica
• (i) Toda constante proposicional sola es una fórmula

- De este modo obtenemos nuestras fórmulas atómicas:
p q r s t
u p1 p2 p3 …

Curso: Lógica
• (ii) Si  es fórmula, entonces ¬ es fórmula

- Dadas las anteriores, también son fórmulas:
¬p ¬q ¬r ¬s ¬t
¬u ¬p1 ¬p2 ¬p3 …

Curso: Lógica

fórmulas
-Dadas (i) y (iii) serán fórmulas:
(p  q) (p  s) (p  r) … (q p ) …
(p  q) (p  s) (p  r) … (q  p) …
(p  q) (p  r) …
(p  q) (p  r) …

Curso: Lógica

fórmulas
-Si además tenemos en cuenta (ii), son fórmulas:
(p  ¬q) (¬p  s) (p  ¬r) … (q  ¬p ) …
(¬p  q) (p  ¬s) (¬p  ¬r) … (¬q  p) …
(p  ¬q) (¬p  r) (¬p  ¬r) …
(¬p  q) (p  ¬r) (¬p  r) …

Curso: Lógica

fórmulas
-Y podemos aplicar otra vez (ii) sobre las últimas fórmulas :
¬(p  ¬q) ¬(¬p  s) ¬(p  ¬r) … ¬(q  ¬p ) …
¬(¬p  q) ¬(p  ¬s) ¬(¬p  ¬r) …¬ (¬q  p) …
¬(p  ¬q) ¬(¬p  r) ¬(¬p  ¬r) …
¬(¬p  q) ¬(p  ¬r) ¬(¬p  r) …
¬¬(p  q) … ¬¬(¬p  ¬q) … ¬(p  ¬¬q) …

Curso: Lógica
- Y podemos seguir aplicando (ii) y (iii) cuanto queramos:

(p  (p  q))
(¬p  (q  ¬s)) (p  ¬r)  (q  ¬p )
(p  ((¬p  q)  (p  ¬s)))
((¬p  ¬r)  (¬q  p))  (p  ¬q)
…

Curso: Lógica
CONECTIVA DOMINANTE
 Consideremos cómo se forman las fórmulas moleculares:

- La última regla de formación que hayamos usado ha tenido que
ser (ii) o (iii), i.e., la última regla ha introducido el negador o una
conectiva binaria:
¬p lo último introducido es el negador ¬

q  ¬r lo último introducido es el conyuntor 
p  (q  r) lo último introducido es el disyuntor 
¬(p  q)  (¬p  ¬q) lo último introducido es 

Curso: Lógica
• La última conectiva introducida será la CONECTIVA DOMINANTE

de la fórmula.
• Es importante distinguirla, porque es a la que habrá que
atender para determinar el valor de verdad de la fórmula.
p  (r  s) 
¬(p  (q  r)) ¬
¬p  (p  (p  p)) 
¬((p  q)  ¬(p  q)) el primer ¬
(((p  q)  p)  q)  p el segundo 
¬(p  ¬(q  r  ¬(p  q))) no es fórmula
Curso: Lógica
PRACTICAR!!!!... Es una FBF?
(¬(p  ¬q)
(p  q)  ¬p  q
((q  (r  ¬s))  (¬¬p  q))  ¬r
¬(s  (p  q¬))
¬(p  (¬q  ¬(r (¬s  t))))
¬¬¬¬¬¬ ¬¬¬¬¬¬¬¬¬¬¬¬p
(¬q  (r  (¬p  q)))  (q  (¬r  (p  ¬q)))
Sol: NNSNSNS

Curso: Lógica
PRACTICAR!!!!... Es una FBF?
((¬q  r)  ¬(p  q))  ¬(q  r)  ((p  ¬q)  q)

¬(p  ¬q)  ¬r) ¬s)  t))))
(((p  q  ¬r)  (¬q  ¬p))  (p  ¬s))  (¬p  q  r)
(p  (q  ¬p  r))  (p  q)
(((p  (q  ¬r))  (¬q  s))  (s  ¬p))  (p  q)
(p  q  ¬r)  (p  ¬q  ¬r)  (¬p  q  r)
(p  q)  (¬p  q)  (p  ¬q)  (¬p  ¬q)
Sol: NNSNNSS

Curso: Lógica
CONECTIVA DOMINANTE…??
¬(p  ¬q) el primer ¬
(p  q)  (¬p  q) 
((q  (r  ¬s))  (¬¬p  q))  ¬r 
¬(s  (p  q)) ¬
¬(p  (¬q  ¬(r (¬s  t)))) el primer ¬
¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬p el primer ¬
(¬q  (r  (¬p  q)))  (q  (¬r  (p  ¬q))) 2º 

Curso: Lógica
(((¬q  r)  ¬(p  q))  ¬(q  r))  ((p  ¬q)  q) 2º 

¬((((p  ¬q)  ¬r) ¬s)  t) el primer ¬
(((p  q  ¬r)  (¬q  ¬p))  (p  ¬s))  (¬p  q  r) 2º
(p  (q  (¬p  r)))  (p  q) 
(((p  (q  ¬r))  (¬q  s))  (s  ¬p))  (p  q) 3er 
(p  q  ¬r)  (p  ¬q  ¬r)  (¬p  q  r) cualquier 
(p  q)  (¬p  q)  (p  ¬q)  (¬p  ¬q) cualquier 

Curso: Lógica
REGLAS DE FORMACIÓN
Reglas de Formación de Formulas lógicas

Curso: Lógica

Curso: Lógica

Curso: Lógica
El lenguaje formalizado de la LP
Ejemplos

Curso: Lógica
El Lenguaje de la
PRINCIPALES NOTACIONES SIMBÓLICAS

Curso: Lógica
El lenguaje formalizado de la LP

Curso: Lógica
Reflexión :
“Mátate estudiando y serás un cadáver muy
culto”
Anónimo

Curso: Lógica
Matemática del Romance
Hombre inteligente + mujer inteligente = romance

Hombre inteligente + mujer tonta = aventura
Hombre tonto + mujer inteligente = matrimonio
Hombre tonto + mujer tonta = embarazo

Curso: Lógica
Control N° 7

Lógica Proposicional

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Lógica Proposicional

Transféré par

Droits d'auteur :

Formats disponibles

Curso: Lógica

09/06/2019 Docente: Ing. Diana Chipana G.

Docente: Diana Chipana G. 2

La sintaxis, Semántica y Pragmática

SEMANTICA PRAGMÁTICA SINTÁXIS

Centrada en las Centrada en los Centrada en la

Dentro de la semántica sólo nos va a interesar la parte formal: el modo en que la

Por ejemplo. El alfabeto latino no resulta ser

09/06/2019 Docente: Ing. Diana Chipana G.

REGLAS DE COMBINACIÓN DE LOS ELEMENTOS

Inglés y español comparten alfabeto, pero no

09/06/2019 Docente: Ing. Diana Chipana G.

09/06/2019 Docente: Ing. Diana Chipana G.

El lenguaje de la lógica proposicional necesita tres tipos distintos de

09/06/2019 Docente: Ing. Diana Chipana G.

09/06/2019 Docente: Ing. Diana Chipana G.

09/06/2019 Docente: Ing. Diana Chipana G.

09/06/2019 Docente: Ing. Diana Chipana G.

09/06/2019 Docente: Ing. Diana Chipana G.

- Estas partículas caen en dos grupos:

09/06/2019 Docente: Ing. Diana Chipana G.

||, {}, (), [ ]

VARIABLES: p , q, r, s, t, u, p1, p2, p3 …

09/06/2019 Docente: Ing. Diana Chipana G.

Formulas Bien Formuladas

Docente: Diana Chipana G. 20

Sea una proposición atómica o una proposición molecular:

09/06/2019 Docente: Ing. Diana Chipana G.

“Daniela juega tenis sin embargo Roberto juega ajedrez” = p  q

09/06/2019 Docente: Ing. Diana Chipana G.

• Serán las que correspondan a las oraciones simples del

09/06/2019 Docente: Ing. Diana Chipana G.

• Las formaremos a partir de las atómicas, empleando las conectivas

09/06/2019 Docente: Ing. Diana Chipana G.

• En el lenguaje natural con frecuencia aparecen posibles

- Nuestro principal recurso contra la ambigüedad son los

- Para referirnos a fórmulas en general usaremos letras griegas:

09/06/2019 Docente: Ing. Diana Chipana G.

• (i) Toda constante proposicional sola es una fórmula (atómica)

09/06/2019 Docente: Ing. Diana Chipana G.

• (i) Toda constante proposicional sola es una fórmula

09/06/2019 Docente: Ing. Diana Chipana G.

• (ii) Si  es fórmula, entonces ¬ es fórmula

¬u ¬p1 ¬p2 ¬p3 …

09/06/2019 Docente: Ing. Diana Chipana G.

• (iii) Si ,  son fórmulas, (  ), (  ), (  ), (  ) son

09/06/2019 Docente: Ing. Diana Chipana G.

• (iii) Si ,  son fórmulas, (  ), (  ), (  ), (  ) son

09/06/2019 Docente: Ing. Diana Chipana G.

• (iii) Si ,  son fórmulas, (  ), (  ), (  ), (  ) son

09/06/2019 Docente: Ing. Diana Chipana G.

- Y podemos seguir aplicando (ii) y (iii) cuanto queramos:

09/06/2019 Docente: Ing. Diana Chipana G.

 Consideremos cómo se forman las fórmulas moleculares:

¬p lo último introducido es el negador ¬

09/06/2019 Docente: Ing. Diana Chipana G.

• La última conectiva introducida será la CONECTIVA DOMINANTE

PRACTICAR!!!!... Es una FBF?

09/06/2019 Docente: Ing. Diana Chipana G.

PRACTICAR!!!!... Es una FBF?

((¬q  r)  ¬(p  q))  ¬(q  r)  ((p  ¬q)  q)

09/06/2019 Docente: Ing. Diana Chipana G.

¬(p  ¬q) el primer ¬

¬(p  (¬q  ¬(r (¬s  t)))) el primer ¬