Curso: Razonamiento Lógico Ciclo Invierno 2020

TEMA N° 02

2) FORMALIZACION DE PROPOSICIONES

2.1 DEFINICIÓN
Proceso mediante el cual llevamos una proposición  No A, nunca A, jamás A, tampoco A
verbal hacia una proposición formal (fórmula o  Es absurdo que A
esquema lógico) utilizando para ello un lenguaje  Es falso que A
simbólico.  Es inconcebible que A
 Es imposible que A
2.2 SÍMBOLOS LÓGICOS  No ocurre que A
 No es verdad que A
1) VARIABLE PROPOSICIONAL:
 No es el caso que A
Son los símbolos que sirven para representar
 Es mentira que A
las proposiciones simples o “atómicas.
Para denotarlos empleamos las primeras y las  Es inadmisible que A
últimas letras del abecedario.  No acaece que A
Se usan en el siguiente orden: p, q, r, s, t, etc. o  No es innegable que A
A, B, C, D, E, etc.  Carece de todo sentido que A
Se asignan en forma correlativa alfabética.  De ninguna forma se da A
 Es erróneo que A
2) SÍMBOLOS DE AGRUPACIÓN:  Es incorrecto que A
Se usan para agrupar a las proposiciones.  Es incierto que A
Tenemos:  Nadie que sea A, etc.
a) Paréntesis : ( )
b) Corchetes : [ ] * Donde A = proposición simple o
c) Llaves : { } compuesta.
3) CONECTORES LÓGICOS: b) Binádicos: Afectan a dos o más variables
Son los símbolos que se usan para relacionar y son:
proposiciones, es decir forman proposiciones
compuestas a partir de las proposiciones - El Conjuntor: ()
simples. Se clasifican en:
Conector binario o diádico (enlaza dos
a) Monádicos: Afectan a una sola variable y proposiciones simples), que desempeña el
solo es la negación (~). papel de compatibilizador de dos
proposiciones verdaderas.
Ejemplo: Un triángulo no tiene 4 lados  ~p
Símbolos: A , A  B, A . B
- El negador: (~)
Traducción Verbal: Se lee:
Es un operador o conectivo monádico
porque afecta mayormente a una  AyB
proposición simple cambiándole su valor de  A también B
veracidad (V o F)  A pero B
Símbolos: ~A, A, –A, A  A del mismo modo B
 A aunque B
Traducción verbal: Se lee de diversas  A sin embargo B
formas.  A tal como B

Jr. Cuzco Nº 323 – Piura. Celular: 984071898 – 984071949 - 933013077

www.academiapremium.edu.pe Academia Premium
PREMIUM … La clave para tu ingreso
 A incluso B
 A al igual que B  A porque B
 A es compatible con B  A pues B
 A cada vez que B
 Tanto A como, cuando B
 A, . Si B
 A así como B  A dado que B
 Siempre ambos A, con B  A se concluye (deduce, infiere o
 No sólo A también B sigue) de B, etc.
 A no obstante B, etc  A ya que B
 A siempre que B
- El Disyuntor Débil o Incluyente:  A puesto que B
 A supone que B
Operador binario a través del cual se  A a condición de que B
incluye, se da la posibilidad de que se den  A en vista de que B, etc.
ambas proposiciones a la vez.  A esta implicado B

Símbolos: A  B, A + B - Disyuntor fuerte o excluyente:

 AoB Operador binario que excluye la posibilidad

 A a menos que B de que se den ambas proposiciones a la
 A salvo que B vez. También se llama contravalorador
 A o también B por ser la negación del biimplicador o
 a menos que A, B equivalorador.
 A excepto que B, etc.
 A y/o B Ejemplo:
 Miguel Grau es piurano o limeño.
- El Implicador o condicional directa:  La luna es un planeta o satélite.
 10 es par o impar.
Operador binario que conecta, enlaza a
una proposición que es el antecedente con Símbolos: A \ B, A  B, A > --- < B, A
otra proposición que es el consecuente o  B, A  B, A  B
conclusión.
Traducción verbal:
Símbolos: A  B, A  B, A  B
 oAoB
Traducción Verbal: Se lee:
 A o sólo B
 Si A entonces B  o bien A o bien B
 Ya que A bien se ve que B  A o solamente B
 Cuando A así pues B  A o B (en sentido excluyente)
 Siempre que A por consiguiente B  A o únicamente B
 Con tal de que A es obvio que B
 Como quiera que A por lo cual B - El Biimplicador, Bicondicionador o
 En el caso de que A en tal sentido B
Equivalorador:
 De A inmediatamente B
Operador binario que desempeña la
 En virtud de que A es evidente B
función de doble implicador. Es decir es la
 Dado A por eso B
conjunción de la condicional (A  B) y su
 A implica B recíproca (B  A). Así:
 Toda vez que A en consecuencia B
 En la medida que A de allí B (A  B) será equivalente a: (A  B)  (B
 En cuanto A por tanto B  A). Con la cual queda cerrada la flecha
 En el caso de A en este caso B por ambos lados: .
 De A deviene B
 De A derivamos B Ejemplo:
 De A deducimos (inferimos, llegamos, “Lizbeth ingresa a la UNP. Si y sólo si
concluimos) en B estudia en la PREMIUM”.
 A impone B
 A es condición suficiente para B, etc. La doble implicación se entenderá así:
 A sólo si B Si Lizbeth ingresa a la UNP entonces
estudia en la PREMIUM y, si Lizbeth
- Replicación o condicional inversa: estudia en la PREMIUM entonces ingresará
a la UNP.
Símbolo: A  B
Símbolos: A  B, A  B

RAZON. LÓGICO 2 PREMIUM …La clave para tu ingreso

PREMIUM … La clave para tu ingreso
Traducción verbal: Otros:

 A si y sólo si B  Negador Conjuntor: ()

 A es equivalente, equivale a B A  B  ~A  ~B
 A siempre y sólo cuando B. “Ni A, ni B”
 A por lo cual y según lo cual B “Ni A, no B”
 A se define como B “No A, no B”
 A es lo mismo que B
 A si de la forma B  Negador Disyuntor: (/), ()
 A es idéntico a B A / B  ~A  ~B
 A igualmente entonces (es igual “Ni A o no B”
entonces) a B “No A o ni B”
 A cada vez que y solo si B “No A o no B”
 A es equipotente a B, etc.
4) CONECTOR DOMINANTE: Es aquel que está fuera
de todo signo de colección. La jerarquía de mayor a
menor es:
IMPLICADOR V/S REPLICADOR

Cuando el condicionador va al inicio 
(implicativas). A  B. 

SI  condicionador , /
siempre OJO: , 
cuando ~
dado
SUFICIENTE  NECESARIA
tanto
(Causa) (Efecto)
ya que
pues SINÒNIMOS Ejemplo:
para
porque A es Cond. Suficiente para B
debido Suficiente es A para B AB
en vista Para A es necesario B
puesto
A es Cond. Necesaria para B
Necesario es A para B AB
 Cuando el condicionador va al centro Para A es suficiente B
(replicativas).
AB

RAZON. LÓGICO 3 PREMIUM …La clave para tu ingreso