FICHA AUTOFORMATIVA N° 3

ÁREA LÓGICA FORMAL

TEMA FORMALIZACIÓN DE PROPOSICIONES
GRADO 1° DE SECUNDARIA
ALUMNO(
A)
ACADEMIA 2020
INDICACIONES GENERALES:
ino te saludamos con mucho cariño esperando te encuentres bien de salud junto a tu familia.
avanzando con tus aprendizajes, por ello en esta ficha encontrarás información y ejercicios para seguir desarrollando. ¡Lee y trabaja co
tu aprendizaje! Trabajemos juntos padres, docentes y alumnos.
COMPETENCIA:

COMPETENCIA:
Resuelve problemas sobre transformación de textos a esquemas lógicos

DESEMPEÑOS:

 Comunica la comprensión de los conceptos vistos

 Usa estrategias y procedimientos para identificar las proposiciones simples
Identifica los conectores

¡ADELANTE TU PUEDES!
 Es el proceso de transformar textos en esquemas
lógicos (Formula lógica), de tal manera que las b) Negador Externo: Niegan a una o más
formulas solo presente variables, símbolos de proposiciones.
agrupación y conectores lógicos.
¡IMPORTANTE!
Se definirán los siguientes elementos Formales:
REGLA PARA NEGACIONES EXTERNAS:
Las negaciones externas comúnmente tienen la
1) VARIABLES PROPOSICIONALES: Son letras terminación “que” y generan símbolos de
tomadas en orden correlativo que sirven para agrupación después de la terminación “que” y
representar proposiciones elementales sin cierra el símbolo generado cuando en el texto
considerar su valor de verdad. encuentra signos de puntuación (“ , ” , “ ; ” y “.”)
Los más utilizados son:
Formalizar:
𝑝, 𝑞, 𝑟, 𝑠, …
{
𝐴, 𝐵, 𝐶, … “Es mentira que no domino física o no domine lógica.
Ejemplos:
Formula Lógica: ~(~𝒑 ∨ ~𝒒)
“Matías es Ingeniero”: p

“El Perú es un país democrático”: q 3.2)BINADICOS: Estos conectores afectan a dos o

más variables, y son los siguientes:

2) SIMBOLOS DE AGRUPACIÓN: Sirven para separar

y agrupar proposiciones. Se generan cuando en un OPERACIÓN SÍMBOL LECTU
texto encontramos signos de puntuación como los LÓGICA OS RA
siguientes: (“ , ” , “ ; ” y “.”)
La “y”
También cuando hay negadores externos y al aplicar
jerarquía de conectores (ausencia de signos de conjunción ∧
puntuación). La “o”
disyun ∨
Los que se utilizan son: ción
débil
Paréntesis ( ) La “o … o …”
Corchetes [ ] disyunc ⨁,
Llaves { } ión
Fuerte △
3) CONECTIVOS LOGICOS: Son símbolos que sirven El implicador “Si …
de enlace entre dos o más proposiciones simples. Se → entonces…”
clasifican en:
El replicador “… si …”
3.1)MONÁDICOS: Afectan a una sola variable
←
proposicional. La negación (~) es el único
conector monádico. El “… si y solo si
bicondicional ↔ …”
Ejemplo:
“Matías no es ingeniero”: ~𝑝

 LA NEGACIÓN: Existen dos tipos de 4) PRIORIDAD O JERARQUÍA DE LOS CONECTIVOS

negación, y pueden ser: LÓGICOS (Si no hay signos de puntuación)

En la formalización de proposiciones se debe tener en

a) Negador Simple (Interno): Por lo general
cuenta la prioridad que tienen los conectivos lógicos en el
niega a una sola proposición simple siguiente orden: (de menor a mayor)
Ejemplo:
1ro Negación: "  "
“El anime no es aburrido”: ~𝑞 2do Conjuntor y disyuntor débil: "" , ""
3ro Implicador o Replicador: “  " , “ ”
4to Disyunción fuerte: ""
5to Bicondicional: ""

¡ADELANTE TU PUEDES!
SINONIMOS DE ALGUNOS CONECTIVOS
LOGICOS

1. El negador

Símbolos: ~;  ; P
3. El conjuntor
Formalización: ~𝑃
Símbolos:  ;  ;&
Negadores internos:
No P Formalización: P  Q
Nunca P
Jamás P PyQ
P es una mentira P incluso Q
P pero Q
Negadores externos: P aunque Q
Es absurdo que P P al igual que Q
Es inconcebible que P P tal como Q
Es innegable que no P P tanto que Q
No es el caso que P P también Q
De ninguna forma se da P P así como Q
Es incierto que P P vemos que también Q
No es inobjetable que P P al mismo tiempo que Q
En modo alguno P P sin embargo Q
Es inadmisible que P P es compatible con Q
No acaece que P P aún cuando Q
No acontece que P. P al mismo modo Q
Es sofisma que P P del mismo modo Q
Carece de todo sentido P P de la misma forma Q
Es refutable que P P empero Q
P es insostenible P así como Q
Es rebatible P P al mismo tiempo Q
P de modo semejante Q
P no obstante Q
2. El disyuntor incluyente P sino Q
No sólo P sino también Q
Símbolos:  ;  No sólo P también Q
No solamente P sino que además Q
Formalización: P  Q P asimismo Q
P a pesar de que Q
PoQ P a la vez que Q
P a menos que Q P igualmente Q
A menos que P, Q P de la misma manera Q
P salvo que Q Sin que P tampoco Q
P y bien, o también Q Cierto que P lo mismo que Q
P excepto que Q Simultáneamente P con Q
P o incluso Q P más aún Q
P o a la vez Q P más Q
P ya bien Q
P y/o Q
P a no ser Q
A menos que P, Q
P o también Q
Salvo que P, Q
Al menos uno de los dos P o Q
P o sino Q
P o en todo caso Q
P alternativamente Q
4. El implicador Símbolos: 
 Formalización: P 
PROBLEMAS (RESUELTOS EN VIDEOS)
Si P entonces Q
Siempre que P por consiguiente Q DESPUES DE LEER LA PRIMERA PARTE DE LA
Ya que P bien se ve que Q CLASIFICACION DE PROPOSICIONES RESPONDE:
Con tal P es obvio que Q
Cuando P así pues Q 1. La proposición:
Toda vez que P es consecuente Q
Dado P por eso Q “Es falso que la poesía de Gabriela Mistral no está
En cuanto P por tanto Q llena de emoción ni de calidez”.
Cada vez que P consiguientemente Q
Ya que P es evidente Q a) ∼(∼p ∧∼q)
De P derivamos Q
b) ∼ ∼p ∧∼q
P implica Q
Si P, Q c) ¬(p∧q)
Cuando P, Q
d) ¬p∧q
Como P, Q
De P, Q e) ¬(p∨q)
Suponiendo que P, Q
P sólo si Q
P solamente si Q 2. La proposición:
Sólo P si Q “Si viajo a Brasil entonces estudiaré doctorado en
P es condición suficiente de Q matemáticas a la vez conoceré sus playas”
Una condición necesaria para P es Q Se formaliza como:
Como quiera que P por lo cual Q a) p  q ∨ 𝑟
P da lugar a Q
b) p
5. El replicador c) p  q
Símbolos:  d) p  q
Formalización: P  e) 𝑝 → (𝑞 ∧ 𝑟)

Sólo si P, Q
P si Q 3. La proposición:
P porque Q “La piel está constituida por tres capas: epidermis,
P siempre que Q dermis e hipodermis”
Es condición necesaria P para Q Se formaliza como:
P para Q a) p  q
Para P es suficiente Q b) p
P puesto que Q
P dado que Q c) 𝑝 ∧ 𝑞 ∧ 𝑟
P supone que Q
P pues Q d) 𝑝 ∨ 𝑞 ∨ 𝑟
P en vista de Q e) 𝑝 → (𝑞 ∧ 𝑟)
P como Q
P por cuanto Q
P debido a que Q 4. La proposición:
P cada vez que “Puesto que no es inobjetable que Marco viaje al
Q P en razón de Ecuador no obstante a EE.UU, por lo tanto
Q P en tanto Q obtendrá su visa; aunque no viajará a ecuador” :
Para P es suficiente Q Se formaliza como:
El que P depende de Q a) p  q ∨ 𝑟 ∧ 𝑠
P es una circunstancia única para Q
b) ~~(𝑝 ∧ 𝑞) ∧ 𝑟
Dado sólo P luego Q
P depende de que ocurra Q c) ~𝑝 → 𝑞
d) [~~~(𝑝 ∨ 𝑞) → 𝑟] ∨ ~𝑝
e) [~~~(𝑝 ∧ 𝑞) → 𝑟] ∧ ~𝑝
EJERCICIOS PROPUESTOS:

1) La proposición:

“Los hombres han nacido iguales o no son 5) La proposición:

libres”
“Si la Reina Roja está furiosa, entonces el Conejo
Se formaliza como:
Blanco está desconcertado o Alicia no será
a) p ∨ ~𝑞 coronada reina.”
b) p Se formaliza como:
c) p  q
d) p  q a) p  q
b) p → 𝑞
e) 𝑝 → (𝑞 ∧ 𝑟)
c) 𝑞
d) p  q
2) La proposición:
e) 𝑝 → (𝑞 ∨ ~𝑟)
“Cuando Pablo se queda, Luis se va”
Se formaliza como: 6) Ahora haremos la situación inversa.
Escribe una frase o proposición cualquiera, tal
a) 𝑝 ∧ 𝑞 que su formalización sea:
b) 𝑝 → 𝑞
c) 𝑝 ⊕ 𝑞
d) 𝑝 ∨ 𝑞 ∨ 𝑟 𝑝 → (𝑞 ∨
e) 𝑝 𝑟)

-
3) La proposición:

“Cientos de vidas podrían salvarse cada año cada

vez que la gente utilizara el cinturón de seguridad”
Se formaliza como:
a) 𝑞
b) 𝑝
c) 𝑝 ← 𝑞
d) 𝑝 ∨ 𝑞 ∨ 𝑟
e)¬𝑝 → 𝑞

4) La proposición:

“No es el caso que, si la luna está hecha de queso

verde, entonces los vehículos espaciales no
pueden alunizar en ella”
Se formaliza como:

a) 𝑝 ∧ 𝑞
b) 𝑝
c) 𝑝 → 𝑞
d) ∼ (𝑝 → ∼ 𝑞)
e) 𝑝 ∨ 𝑞