UPAO

UNIVERSIDAD PRIVADA ANTENOR ORREGO

Docente:
Dr. Luis D. Esteves Pairazamán
LÓGICA
SESION 09:
FORMALIZACIÓN
PROPOSICIONAL
 Relacionen ESTAS PROPOSICIONES

P1: “El derecho es una carrera profesional así como la medicina;

por lo tanto sus profesionales aportan en beneficio de la
sociedad.“

P2: “Si los estados respetan los derechos humanos y presentan

una organización jurídica con poderes divididos; es obvio que
viven en democracia.”
 ¿Cómo las
podemos
Según representar
contenido y utilizando el
forma, lenguaje
¿tienen lógico
¿Qué elementos formal?
alguna
puedes distinguir en
relación?
ambas proposiciones?
APROXIMÁNDONOS AL TEMA

“El derecho es una carrera profesional así como

la medicina; por lo tanto sus profesionales
aportan en beneficio de la sociedad.“

(p  q )  r  
 DIALOGAMOS
¿Por qué la ¿Qué elementos
lógica tiene emplea la lógica
necesidad de dentro del
utilizar un lenguaje
lenguaje formalizado? ¿Qué es
formalizado? Variables formalizar una
proposicionales, proposición
Pq nos operadores lógica?
permite lógicos y los
precisar la signos de
colección o
falsedad de un agrupacion
determinado
¿Puedes crear proposiciones con la misma
estructura formal y diferente contenido?

Estructura:
Contenido 1:
Contenido 2: Contenido 3:
Jorge viajo al
Y Luis viajo a ica pq
cusco
 S
O N
G R I Ó
O
L S E S
DE

Representa la secuencia de pasos para

formalizar proposiciones lógicas
mediante un flujograma.

Aplica el procedimiento para formalizar

las proposiciones lógicas, desarrollando
una práctica de laboratorio.
 FORMALIZACIÓN PROPOSICIONAL

Proceso mediante el cual llevamos una proposición

verbal a una proposición formal (fórmula
proposicional), utilizando para ello un lenguaje
simbólico.
VARIABLES L.
Si hay fenómeno del niño en
consecuencia habrá p q
devastación.

CONSTANTES L.
 OBJETIVOS DE LA
FORMALIZACIÓN

Facilitar la aplicación
Eliminar las
de las reglas para
ambigüedades del
alcanzar la corrección
lenguaje.
en el razonamiento.
FORMALIZACIÓN PROPOSICIONAL: ELEMENTOS
símbolos que se pueden utilizar para
VARIABLES para reemplazar a cualquier fórmula o
proposición
signos artificiales que representan a los
CONSTANTES
conectivos que enlazan a las proposiciones
simples.

son símbolos auxiliares .

SIGNOS DE Permiten ordenar las proposiciones y
AGRUPACION establecer su nivel de jerarquía.
Evitan la ambigüedad.
Se usan: ( ), [ ],
VARIABLES: LENGUAJE OBJETO
Y METALENGUAJE

p,q,r,s,t,u,v,w,x,y,z.

VARIABLES

A,B,C,D,E,F,G,H,I,J,K,L,M,N,O
CONSTANTES U OPERADORES LÓGICOS
OPERADOR
N° SÍMBOLOS
NOMBRE FORMA BÁSICA
1 Negador (No es conector
lógico)
“no” -  
2  . x &
Conjuntor “... y ...”

3 Disyuntor Incluyente “... o ...”  + 
4   >––<
Disyuntor Excluyente “o ... o .... “
 
5 Implicador “si... entonces.”   
6 Replicador “... porque ...”  
7 Biimplicador “ ... si y sólo sí ...”  = 
8 Inalternador “ni ... ni .... “ 
9 Incompatibilizador “no ... o no ....” /
SÍMBOLOS AUXILIARES O DE AGRUPACIÓN (denotan
una jerarquía entre los operadores lógicos)

SISTEMA DE
LLAVES CORCHETES PARÉNTESIS PUNTOS
{ } [ ] ( ) .- ;-,
 • Pero, además, aunque, sin embargo,
• Tal como, tanto como, así como,
CONJUNTOR • Al igual que, no obstante, es compatible, etc.

• A menos que, salvo que, excepto que,

DISYUNTOR • Y bien o también, o incluso, ya bien, a no ser que, etc.
I.

TÉRMINOS QUE REFIEREN CONECTORES

LÓGICOS
 • No es cierto, es falso, es mentira, carece de
veracidad, es absurdo, es negable, no ocurre.
• Es inadmisible, es inconcebible, es objetable, es
refutable, es imposible, carece de sentido, es
NEGADOR erróneo, etc. QUE A.

• O solamente, o tan solo, o únicamente, o

exclusivamente, o bien A o bien B, A no equivale a B,
DISYUNTOR Etc. QUE A
EXC.
 • Siempre que A por consiguiente B, cada vez que A,
en tal sentid B, dado que A luego B, de A deviene B,
A implica a B, A por ende B, A por lo tanto B.
• Una condición necesaria para A es B.
IMPLICADOR • Con tal de que A es obvio que B, Etc.

• A porque B, A cada vez que B, solo si A, B, A está

implicado en B, A dado que B, A si B, A puesto que B,
• A es una condición necesaria para B.
REPLICADOR
 • A siempre y cuando B, A es lo
mismo que B, A equivale a B, A se
define como B,
• A es condición suficiente y
necesaria para B, A según lo cual
BIIMPLICADOR y por lo cual B.
• A implica y está implicado en B
PROCEDIMIENTO PARA FORMALIZAR UNA PROPOSICIÓN
PASO 1: Identificar proposiciones simples y asignarles variables en
orden alfabético.
Ejem: “Ya que el Bachillerato es un nivel educativo, así como la
secundaria o primaria; por ello es gratuito y no es educación superior”
El Bachillerato es un nivel educativo : p

la secundaria es un nivel educativo: q

la primaria es un nivel educativo: r

el bachillerato es gratuito: s

el Bachillerato es educación superior: t

PROCEDIMIENTO PARA LA FORMALIZACION:

“Ya que el Bachillerato es un nivel educativo así como la

secundaria o primaria, por ello es gratuito y no es educación
superior”

[p  (q v r ) ]  (s  - t )
 1.- El Biimplicador: (↔)
2.- Disyuntor fuerte: (v )
3.- Implicador: (→)
4.- Conjuntor y disyuntor: (∧) (∨)
5.- Negador (-)

CONECTORES:JERARQUÍA EN ORDEN DESCENDENTE

RECOMENDACIONES PARA FORMALIZAR UNA PROPOSICIÓN

La formalización es literal, tal y como está escrita, no se

deben usar las equivalencias lógicas. Ejemplo: “es falso que,
Manuel no es millonario.”
Correcto:  (p)
Incorrecto: p
La doble negación de una proposición simple la convierte en
una compuesta. ---------------------------
 Hay negadores internos como: no,
nunca, jamás, etc. En cualquier parte

NEGADORES
de la proposición,

Negadores externos como:

es falso que”, al inicio de la
proposición

Negadores por antonimia.

Ejemplo: alto- bajo, vida-
muerte, etc

Negadores por prefijos:

deshonesto, irreal,
antidemocrático, etc
(Lázaro 2013, 49)
RECOMENDACIONES PARA FORMALIZAR UNA PROPOSICIÓN

Las expresiones de doble negación como: inobjetable,

innegable, no es inadmisible, etc; se formalizan como tal.
Ejemplo: “No es inadmisible que los vertebrados sean reptiles”
 p
Cuando una proposición utiliza términos relacionales, aunque
utilice el término “y” se formaliza como una proposición simple.
Ejemplo: “Marco y Manuel son vecinos”: p
RECOMENDACIONES PARA FORMALIZAR UNA PROPOSICIÓN

Los signos lingüísticos (coma, punto y coma, punto)En pueden

ser conectores en algunos casos, dependiendo el sentido de la
expresión.
Ejemplo: Juan estudia, María se divierte.
Si juan estudia, María se divierte.
 Las proposiciones conjuntivas o disyuntivas donde hay “comas”
antecedidas por “y” u “o”, éstas “comas” se formalizan como
conjuntores y/o disyuntores.
Ejemplo: “José, David y Juan son profesores de la Universidad privada
Antenor Orrego”. p ∧ q ∧ r
 APLICAMOS el procedimiento de formalización
PROPOSICIONES PASO 1 PASO 2 PASO 3
“El gobierno peruano El gobierno peruano Maduro, sin embargo p∧-q
retiró la invitación a la retiró la invitación a la éste no lo aceptó.”
cumbre de las Américas cumbre de las Américas
a N. Maduro, sin a N.
embargo éste no lo
aceptó.”
“Orrego fue filósofo Orrego fue filósofo periodista y ensayista pvq
salvo que, periodista y
ensayista”
 APLICAMOS el procedimiento
PROPOSICIONES PASO 1 PASO 2 PASO 3
“Martha, José y Arturo
estudiaron derecho, pero
no tienen trabajo.”

“Dado que al calentar

un metal es obvio que
éste se dilata,
consecuentemente al
calentar un gas por ende
este aumenta su
volumen.”
 APLICAMOS el procedimiento
PROPOSICIONES PASO 1 PASO 2 PASO 3
“Muchos venezolanos
emigran por temor al
autoritarismo salvo que
por mejorar su calidad
de vida ”

El estado peruano es
democrático por
consiguiente jamás
apoyará el
autoritarismo.
ALGUNOS EJEMPLOS:
LA FÓRMULA: p q , se lee:

1. Transpiro si hago deporte.

2. Tengo vacaciones en el caso de que salga invicto.
3. Llego tarde porque hubo paro.
4. Si salgo de casa luego me voy de paseo.
5. En el caso que llegue a la universidad inmediatamente entro a
clase.
CREAMOS UN DIAGRAMA PARA REPRESENTAR EL PROCESO DE
FORMALIZACIÓN PROPOSICIONAL.

3. Escribir la formula lógica y agrupar siguiendo las jerarquías de la

puntuación. (simbolización)

2. Identificar la
forma (Estructura formal)

1. Identificar proposiciones
simples asignarles
variables en orden
alfabético(Proposiciones)
Resumiendo:

Una La formalización proposicional es

Formalizar una recomendación importante por que nos permite
eliminar las ambigüedades del
proposición es esencial para lenguaje y facilitar la aplicación
reemplazarlo por formalizar de leyes y reglas para alcanzar la
correccion en los razonamientos.
una variable. sería------------
DESARROLLE
EN EQUIPOS
LA PRÁCTICA
Referencias Bibliográficas
Arredondo M. (2015). Lógica. Temas básicos. México.
Patria.
Lázaro C. (2013): Lógica y razonamiento lógico.
Bustamante A. (2009) Lógica y argumentación. Colombia.
Pearson.
Irving, C. (2007). Introducción a la lógica. México: Limusa.
(2013). Lógica nociones y aplicaciones . México: Mc Graw
Hill.