UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

Facultad Ciencias Políticas Programa Derecho

Docente Luis Evert Medina Mateu Asignatura Lógica
Semestre 2024-1 Ciclo Primero
Fecha 15/04/24 Hora inicio Hora Aula
término
Competencia Aplica temas relacionados con lógica proposicional, explicando los procesos matemáticos
pertinentes con orden, claridad y honestidad. teniendo en cuenta la especialidad.,
responsabilidad y puntualidad y ética.
Tema FORMALIZACION DE PROPOSICIONES

FORMALIZACION Y TRADUCCIÓN PROPOSICIONAL

Consiste en la combinación del sistema de símbolos de la lógica proposicional y lógica de
conectores) y el lenguaje natural (castellano), o científico (de cualquier ciencia popular: CC.SS,
CC.NN)

1. SÍMBOLOS FORMALES:
1.1. VARIABLES PROPOSICIONALES O DEL LENGUAJE OBJETO:
p, q, r, …, z
𝑝1 , 𝑞1 , 𝑟1 , … , 𝑧1
𝑝𝑛 , 𝑞𝑛 , 𝑟𝑛 , … , 𝑧𝑛
Ejm: El verano es una estación calurosa
Se formaliza o simboliza: p (por ser una proposición simple)
1.2. VARIABLES METALINGUÍSTICAS O DEL METALENGUAJE
A, B, …, Z
𝐴1 , 𝐵1 , … , 𝑍1
𝐴𝑛 , 𝐵𝑛 , … , 𝑍𝑛
Son variables de mayor amplitud que las anteriores y un solo símbolo puedo
representar a una proposición compuesta. Los esquemas lógicos, los argumentos se
presentan con estas variables. Ejm:
1. Si Rosa está apenada y triste entonces se quedará en su casa.
2. No es el caso que Rosa se quede en su casa.
No es el caso que, Rosa esté apenada y triste.
Formalización con variables
Proposicionales (LO).
{[(p ^ q) → r] ^ [ (p v q) V r]}↔ r
- r .
- (p ^ q)
Formalización con variables
Metalingüísticas
…………………………………………….
A→B
-B
-A
NOTA: Por eso es lícito que en el presente curso usaremos cualquiera de las
variables.
 1.3. SÍMBOLOS AUXILIARES O DE AGRUPACIÓN PROPOSICIONAL
Sirven para ordenar las proposiciones, así como establecer su nivel de jerarquía.
Son:
a) La llave: { } b) El corchete: [ ] c) El paréntesis: ( )
d) El sistema de puntos: →, : ^ :, etc.
2. PRINCIPALES CONECTORES LÓGICOS:
A. EL NEGADOR:
1) Definición: es un operador o conectivo MONÁDICO porque afecta mayormente a
una proposición simple, cambiando su valor de veracidad (V o F).
2) Símbolos: ~A, ¬A, - A, 𝐴̅
3) Traducción verbal: Se lee de diversas formas:

No A, nunca A, jamás A, Es inadmisible que A

tampoco A No acaece que A
Es absurdo que A No es innegable que A
Es falso que A Carece de todo sentido que A
Es inconcebible que A De ninguna forma se da A
Es imposible que A Es erróneo que A
No ocurre que A Es incorrecto que A
No es verdad que A Es incierto que A
No es el caso que A Nadie que sea A, etc.
Es mentira que A
* Donde A = proposición simple o compuesta.

4) Regla de operación: Es la inversión de una proposición, según lo cual la negación

de una proposición verdadera será falsa y, viceversa.
5) Tabla de verdad:

A -A
V F
F V

6) Criterios convencionales de uso del negador

1er caso. Ejemplo:

NO ES CIERTO QUE se haya acabado con la recesión.

2do caso. Ejemplo:

Es falso que la corrupción en el Perú ha permitido el progreso de los sectores

emprendedores. Además, ha generado millones de dólares en perdidas

B. EL CONJUNTOR
1) Definición: es un operador o conector binario o DIÁDICO (enlaza dos proposiones
simples), que desempeña el papel de compatibilizador de dos proposiones
verdaderas
2) Símbolos: A ˄ B, A & B , A.B
3) Traducción verbal: Se lee:
 AyB A al igual que B
A del mismo modo B A así como B
A sin embargo B A no obstante B
A también B A tal como B
A, aunque B A es compatible con B
A del mismo modo B Siempre ambos A con B
A del mismo modo B A, pero B
A de la misma forma B A incluso B
Tanto A como B

* Donde A = proposición simple o compuesta.

4) Regla de operación: La resultante o valor de verdad es VERDADERA, SOLO EN EL

CASO QUE AMBAS PROPOSICONES SEAN VERDADERAS en los otros casos la
resultante será falsa.
5) Tabla de verdad:

A B A˄B
V V V
V F F
F V F
F F F

C. EL DISYUNTOR DEBIL O INCLUYENTE

1) Definición: es un operador o conector binario a través del cual se INCLUYE, se da la
posibilidad de que se den ambas proposiciones a la vez.
2) Símbolos: A ˅ B , A + B .
3) Traducción verbal: Se lee:

AoB
A salvo que B
A sin embargo B (2 OPCIONES)
A menos que A , B
A a menos que B
A o también B
A excepto que B
A a menos que también B
A excepto que también B
A excepto que a la vez B

* Donde A = proposición simple o compuesta.

D. Regla de operación: La resultante o valor de verdad es FALSA, SOLO EN EL CASO QUE

AMBAS PROPOSICIONES SEAN FALSAS en los otros casos la resultante será verdadera.
 E. Tabla de verdad:

A B A˅B
V V V
V F V
F V V
F F F

F. EL IMPLICADOR
1) Definición: es un operador o conector binario a través del cual enlaza una
proposición que es el antecedente con otra DENOMINADA CONSECUENTE O
CONCLUSIÓN.
2) Símbolos: A → B, A Ͻ B .
3) Traducción verbal se lee:

• Si A entonces B • A es condición suficiente para B

• Cuando A así pues B • Ya que A bien se ve que B
• Con tal de que A es obvio que B • Siempre que A por consiguiente B
• En caso de que A en tal sentido B • Como quiera que A por lo cual B
• En virtud de que A es evidente B • De A inmediatamente B
• Dado A por eso B • Toda vez que A en consecuencia B
• En cuanto A por tanto B • En la medida que A de allí B
• De A deviene B • En el caso de A en este caso B
• De A deducimos (inferimos, llegamos, • De A derivamos B
concluimos) en B • A impone B

3. Regla de operación: la resultante es FALSA únicamente en el caso en que el antecedente

es verdadero y el consecuente es falso. En los otros casos es verdadera.
4. Tabla de verdad:
A B A→B
VV V
V F F
F V V
F F V

F. EL REPLICADOR

1. Definición: Operador binario llamado también IMPLICADOR INVERSO, que enlaza una
proposición que es el consecuente (o efecto) con otra que es el antecedente (o causa).
Regla: Cuando el “Si” o sus sinónimos están entre A y B
Ejemplo:
Hitler fue fascista si usó la fuerza
Consecuente Término Antecedente
Efecto replicador causa,
Condición Necesaria condición suficiente
2. Símbolos: A ← B, A ⊂ B
3. Traducción verbal:
o A porque B
o A es condición necesaria para B
o A, Si B
o A se concluye (deduce, infiere o sigue) de B, etc.
o A siempre que B
o A es insuficiente para B
o A pues B
o A cada vez que B
o A dado que B
o A ya que B
o A puesto que B

* A supone que B
*A a condición de que B
*A en vista de que B, etc.

En resumen, la replicación se da cuando la operación de implicación está desordenada

(en lenguaje natural o científico). Es decir, cuando primero está el consecuente y luego
el antecedente.
Ejemplo:
a) Transpiro porque hago deporte
Consecuente Término Implicador Antecedente

b) Transpiro siempre que hago deporte

Consecuente Término Implicador Antecedente

c) Transpiro si hago deporte

Consecuente Término Implicador Antecedente

d) El transpirar es condición necesaria para hacer deporte

Consecuente Términos Implicadores Antecedente

Todos estos casos, por ejemplo, se deben formalizar utilizando el REPLICADOR (A ← B)

o también en el sentido del IMPLICADOR (B → A).
4. Regla de Operación: La resultante es falsa cuando el antecedente es falso y el
consecuente verdadero, en los otros casos es verdadera.

5. Tabla de Verdad

A B A←B

V V V

V F V

F V F

F F V

G. EL BIIMPLICADOR, BICONDICIONADOR O EQUIVALORADOR

1. Definición: Operador binario que desempeña la función de doble implicador. Es
decir, es la conjunción de la condicional (A → B) y su recíproca (B → A). Así: (A
↔ B) será equivalente a: (A → B) ∧ (B→A). Con lo cual queda cerrada la flecha
por ambos lados ↔.
Ejemplo:
“Charo ingresa a la UNT. Si y sólo sí obtiene una vacante”.
La doble implicación se entenderá así:
Si Charo ingresa a la UNT entonces obtiene una vacante y, si Charo obtiene una
vacante entonces ingresará a la UNT.

2. Símbolo: A ↔ B, A ≡ B
3. Traducción Verbal:
• A si y sólo si B
• A es equivalente, equivalente a B
• A siempre que y sólo cuando B
• A por lo cual y según lo cual B
• A se define como B
• A es lo mismo que B
• A si de la forma que B
• A es idéntico a B
• A igualmente entonces (es igual entonces) a B
• A cada vez que y solo si B
• A es equipolente a B, etc.

4. Regla de Operación: La resultante es verdadera en el caso en que ambas

componentes sean verdaderas o ambas falsas. En los otros casos es falsa.
 5. Tablas de Verdad:

A B A↔B

V V V

V F F

F V F

F F V

RESUMEN PARA USO FUNCIONAL

1. REGLAS DE OPERACIÓN:
a) NEGADOR = INVERSOR
b) CONJUNTOR = VV = V
c) DISYUNTOR DÉBIL = FF = V
d) DISYUNTOR FUERTE = VV, FF = F
e) IMPLICADOR = VF = F
f) BIIMPLICADOR = VV, FF = V
g) 1ª FUNCIÓN Sheffer (ni…ni…) A ↙ B = FF = V
h) 2ª FUNCIÓN barra de Nicod (no…no…) A│B = VV = F

NOTA: En Lógica matemática: V = 1, y F = 0