RAZONAMIENTO LGICO

Desarrollo Temtico (PARTE I)

LGICA PROPOSICIONAL
INTRODUCCIN
Existen en la realidad un nmero considerable de
problemas con los que una persona se enfrenta y de los
cuales se deben deducir ciertos datos para poder
resolverlos. Generalmente la forma en que las personas
aplican el poder deductivo es muy personal, sin embargo
ste podra ser encausado o guiado a travs del uso de
reglas de deduccin. A su vez, ser necesario que
dichas reglas sean establecidas y usadas con una cierta
precisin de modo que puedan ser reutilizadas toda vez
que un mismo problema o problemas de caractersticas
similares sean planteados.
La manera cotidiana de expresar los problemas es
por medio de nuestro lenguaje natural. Sin embargo ste
es en esencia ambiguo por lo cual es necesario
transformarlo, acotarlo o restringirlo de modo que se
convierta en un lenguaje inequvoco. Particularmente los
lenguajes simblicos proveen esa clase de precisin. Y,
si adems esos smbolos son smbolos matemticos, lo
que tendremos es una precisin matemtica en la accin
de deducir.
Esta es precisamente la finalidad de la lgica
matemtica: expresar problemas por medio de un
lenguaje inequvoco que habilite el uso de reglas de
deduccin para la solucin de los mismos.
QU ES LA LGICA?
Se define al trmino lgica, como la ciencia que
estudia el pensamiento, de tal manera que con este
estudio se puede producir razonamientos correctos, es
decir, vlido.
A QU NOS REFERIMOS CON PENSAMIENTO?
El Pensamiento est conformado por tres elementos, es
decir, son tres las formas mediante las cuales el ser
humano puede expresar lo que piensa. Estas son:
Conceptos, Juicios y Razonamientos o Raciocinios.
ENUNCIADOS Y CONECTIVAS
Nuestro lenguaje cotidiano se conforma de frases o
expresiones. Si se desea deducir informacin a partir de
una frase es necesario poder evaluarla como verdadera
o falsa. No obstante no toda frase puede ser evaluada,
existen frases las cuales no se pueden categorizar.
Frases que se pueden categorizar
El lder ha muerto
Juan compr dulces con dinero
El barmetro ayuda a determinar el clima
Si Juan no tiene dinero entonces no compra dulces
Si el barmetro desciende, entonces llover o nevar
Frases NO categorizables
Qu fro!!
Cunto pesas?
Alcnzame el libro
Generalizando, diremos que toda frase que tiene
una funcin de tipo informativa, son frases que se
pueden categorizar, quedando entonces fuera todas
aquellas frases que cumplen una funcin de transmitir
una orden o directriz y las que se utilizan con una funcin
expresiva.
Si se analiza gramaticalmente una frase o expresin
del lenguaje cotidiano, veremos que stas pueden
clasificarse como frases simples o compuestas.
Las frases simples constan de un sujeto y un
predicado. Las frases compuestas se conforman a
partir de las frases simples unidas por elementos
gramaticales especiales que las asocian (conjunciones).
Toda frase simple puede evaluarse como verdadera o
falsa.
Como primera medida tendiente a lograr un lenguaje
an ms preciso, se acuerda adoptar una nueva
terminologa y representacin o simbologa asociada.
Esto es, llamar:
A las frases: enunciados o proposiciones (ya
sea simples o compuestos segn corresponda)
A los elementos gramaticales que unen a las
frases simples: conectivos
Y establecer como smbolos:
Para representar los enunciados (frases simples
o compuestas): las letras maysculas
Para representar los conectivos: smbolos tales
como(
, , , ,
)
Cuando un enunciado del lenguaje natural se
representa por medio de la simbologa asociada, lo que
queda bosquejado es la estructura o esqueleto lgico del
mismo; es decir, la forma que tiene dicho enunciado o
conjunto de enunciados. Dicha forma es la que nos va a
permitir realizar nuestras deducciones sin tener en
cuenta el significado asociado.
EVALUACIN DE LOS ENUNCIADOS
En la Lgica Formal se estudian los principios y
mtodos a travs de los cuales podemos determinar la
validez de argumentos, desde el punto de vista
solamente de su estructura, sin tomar en cuenta el
contenido semntico de las expresiones de los
argumentos. De esta manera si se argumenta que:
Todos los majades son de Majadistn
Rudistein es Majad
En consecuencia, Rudistein es de Majadistn.
En este argumento, no se toma en cuenta si los
majades son humanos, perros, pericos o un concepto
abstracto de cualquier rea.
Tampoco importa si Rudinstein es un ciudadano de
alguna ciudad del mundo o si es el nombre de un perro.
De esta manera desde el punto de vista de su estructura
este argumento es vlido.
1
MDULO DE LGICA PROPOSICIONAL
4 SECUNDARIA Doc. Alfredo Vsquez
Se hace hincapi que la Lgica no se hace
responsable de su aplicacin a nivel semntico.
Se puede decir que la Lgica es una herramienta
para el anlisis de la veracidad de argumentos en base
slo a la estructura de stos, donde el significado de los
elementos que intervienen no es tomado en cuenta.
Proposicin es el significado de toda oracin
declarativa con sentido a la que puede atribuirse un
valor veritativo (verdadero o falso para la lgica
Bivalente). Es la explicitacin del juicio.
Las caractersticas a tomar en cuenta cuando
trabajemos con proposiciones son las siguientes:
Es el significado o contenido de una
oracin declarativa porque distintas oraciones
pueden contener una misma proposicin.
La oracin que la expresa debe tener
sentido, comprendida por una comunidad de
hablantes.
Al ser una oracin declarativa, la
proposicin, su estructura gramatical debe tener
Sujeto (S) y Predicado (P).
Algunas oraciones aseverativas llevan el
sujeto implcito, sin por ello dejar de contener
efectivas proposiciones.
Al afirmar o negar algo de algo, a toda la
proposicin puede atribuirse un slo valor veritativo:
V F.
No es condicin necesaria saber con
exactitud el valor de verdad de una proposicin
cuando es anunciada, lo importante es que se le
asuma con un valor de verdad cuando se le anuncia.
Ejemplos:
1. Las oraciones siguientes contienen la misma
proposicin:
a) Julian es amigo de Alfredo
b) Alfredo es amigo de Julian
c) Julian y Alfredo son amigos
2. La siguiente proposicin presenta estructura
gramatical:
a) Ricardo trabaja duramente
3. Oracin con sujeto implcito:
En el enunciado: Si llueve entonces no ir a la
playa contiene dos proposiciones a saber:
a) llueve, donde el sujeto implcito es
hoy
b) ir a la playa, donde yo es el sujeto
implcito.
4. Atribuir un solo valor veritativo: V F en:
a) La materia no se crea ni se destruye
b) Dios no cre el universo
c) El buen profesor es aquel que sabe
ensear
d) Aristteles cre la lgica formal
e) Los millonarios tienen dinero
5. Proposicin en donde no se sabe con exactitud
dicho valor:
a) El hombre llegar a otra galaxia en el
2 020
Las proposiciones se clasifican, teniendo en cuenta
ciertos criterios, como:
A) Segn su cantidad:
- Universales.
- Particulares
- Singulares.
B) Segn su calidad (o
cualidad)
- Afirmativas.
- Negativas.
C) Segn su modalidad:
- Asertricas
(Empricas; Sintticas; Contingentes).
- Apodcticas
(Necesarias; Forzosas)
- Problemticas
(Plausibles o Probables)
PROPOSICIONES POR SU COMPLEJIDAD
La Lgica Proposicional clasifica a las proposiciones
segn tengan o no operador lgico.
Segn nuestro criterio adoptaremos el estudio de 9
operadores, que denotamos a continuacin:
1) El negador: no (operador mondico)
( )
2) El conjuntor: y ( )
3) El disyuntor incluyente: o (en sentido
incluyente) ( )
4) El disyuntor excluyente: o o . ( )
5) El implicador: Si entonces ( ) ;
6) El replicador: . si . ; . porque .
( )
7) El biimplicador: si y slo si . ( ) ;
8) El inalternador: ni ni .
( )

9) El incompatibilizador: no o no . ( ) /
Las proposiciones simples o atmicas, son aquellas que
no tienen operador alguno. Ejemplo:
(1) Cada gobernante es poltico
2
Operadores Lgicos: Llamados tambin
constantes lgicas, conectivas,
funcktores, trminos de enlace; etc. Son
todos aquellos trminos que sirven de enlace
entre proposiciones o le cambian el sentido de
LA PROPOSICIN
PROPOSICIONES
COMPUESTAS SIMPLES
CONECTORES
LGICOS NOMBRE DE
ACUERDO AL
CONECTOR
NO SI
TIENE
(2) La lgica en el RNC es interesante
Las proposiciones compuestas o moleculares, tienen uno
o ms operadores. De acuerdo al operador principal se
clasifican en:
- Negativas (Simple:
cuando la negacin va en el verbo; Compleja: la
negacin va al inicio y por Prefijo: Si al trmino del
predicado es antecedido por un prefijo) Ejemplos:
(1) Los
quelonios no son batracios
(2) Es falso
que CEPUNT sea un colegio
(3) Montesinos
es considerado un amoral
- Conjuntivas. Si
tienen el operador didico: . y . (conjuntor). Se
presentan los siguientes casos:
(1) EEUU
invadi Irak e Israel atac Palestina
(2) Boecio e
incluso Boole fueron lgicos
(3) Los tigres
son carnvoros y mamferos
(4) Los felinos
y los carnvoros son mamferos
(5) Che
Guevara fue escritor, poltico y revolucionario
- Disyuntivas
Incluyentes. Si tienen el operador didico: . o
. (alternador o disyuntor)
(1) Las
ciencias formales son abstractas salvo que la
lgica sea una ciencia
(2) La filosofa
o la biologa son ciencias exactas
(3) Los virus
son causantes de enfermedades o ayudan al
organismo
(4) Los
peruanos o los ecuatorianos son belicistas o
son patriotas
(5) Montesquie
u fue escritor, revolucionario o periodista
- Disyuntivas
Excluyentes. Si tienen el operador didico: . o
. (exclusor) en sentido excluyente, es decir que
ambas proposiciones que la componen no pueden
ser verdaderas al mismo tiempo.
(1) o la
astrologa es una ciencia o es una farsa
(2) Alfredo es
magster o slo licenciado
(3) Francia se
ubica en Amrica o Europa
- Implicativas. Si
tienen el operador didico: si . entonces
(condicional). Se caracteriza por tener dos
proposiciones. A la primera se le llama antecedente
y a la segunda consecuente. Al antecedente tambin
se le conoce como condicin suficiente. Al
consecuente tambin se le conoce como condicin
necesaria.
(1) Si hay
inflacin entonces hay desempleo
(2) Para ser
cientfico es necesario tener formacin
epistemolgica
(3) Es
suficiente abogado para ser juez
(4) Condicin
necesaria para ser juez es ser abogado
- Replicativas. Si
tienen el operador didico: si . (condicional
indirecta). Presenta las siguientes caractersticas:
Tiene dos proposiciones. A la primera se le llama
consecuente y a la segunda antecedente. Es lo
contrario de las implicativas.
(1) Democraci
a es libertad porque hay libre pensamiento
(2) Para ser
candidato es suficiente ser ciudadano
(3) Es
necesario ser candidato para ser ciudadano
(4) Condicin
suficiente para ser profesional es estudiar una
carrera
- Biimplicativas. Si
tiene el operador didico: . si y slo si ..
(Equivalorativas)
(1) Existe la
injusticia si y slo si hay abuso social
(2) Para ser
poeta es suficiente y necesario tener
sensibilidad social
- Inalternativas. Si
tiene el operador didico: ni . ni..
(1) En China
ni hay democracia ni hay justicia
- Incompatibles. Si
tiene el operador didico: no . o no ..
(1) Los pulpos
no respiran por branquias o no son terrestres
TRADUCCIONES VERBALES DE LOS OPERADORES.
Son los trminos sinnimos de los operadores lgicos.
3
NEGADOR
; :
es falso que A
es absurdo que
A
es mentira que
A
es inconcebible
que A
es negable que
CONJUNTOR
; . ; I
A pero B
A sin embargo B
A tanto como B
A tambin B
A al igual que B
no solo A tambin B
A no obstante B;
DISYUNTOR
INCLUYENTE
; U
A o tambin B
A a no ser que B
A y/o B
A o bien B
A ya bien B
A excepto que B
A a menos que
B
IIMPLICADOR
;
A implica a B
A por lo tanto B
A luego B
A consecuentemente
B
ya que A entonces B
A es condicin
suficiente para B
para A es condicin
Ejemplos:
1. De los siguientes proposiciones:
1) Martha ir a la fiesta
de promocin pero en diciembre.
2) El Per es
democrtico o de lo contrario oprimido.
3) Es mentira que
nunca los militares abusaron del pueblo.
4) Si es cierto que
Manuel result campen del torneo de karate.
5)
Si
el
viento sopla, me abrigar para no contraer
enfermedades.
Son simples:
(a) 1; 3 y 5 (b) 2; 3 y 4 (c) Slo 1
(d) Slo 1 y 4 (e) Slo 4
VERDAD FORMAL
Esta referido a la determinacin de la funcin de
verdad de un esquema molecular cualquiera. Para ello
es necesario conocer:
- Las reglas de
operacin
- La jerarqua de los
conectores y de los signos de agrupacin.
REGLAS DE OPERACIN
Mencionaremos lo ms resaltante de las reglas de
operacin. Veamos:
El Negador: Si es
V
, luego
V F :
El Conjuntor: Slo
V V V
, en los dems casos es
F
El Disyuntor Incluyente: Slo
F F F
, en los dems
casos es
V
El Inalternador: Slo
F F V
, en los dems casos es
F
El Incompatibilizador: Slo
/ V V F
, en los dems casos
es
V
El Implicador: Slo
V F F
, en los dems casos es
V
El Biimplicador: Slo
F F V

V V V
en
los dems casos es
F
El Disyuntor Excluyente: Slo
V F V

F V V
JERARQUA DE CONECTORES Y SIGNOS DE
AGRUPACIN
Se utiliza para determinar el tipo de esquema molecular
adems para determinar el orden en que se desarrollar
el clculo matricial.
Jerarqua de Conectores:
Menor
jerarqua
( ) ; ; ; ; ; : Mayor
Jerarqua
Jerarqua de los signos de Agrupacin:
Menor jerarqua
( ) [ ] { }
; ;
Mayor Jerarqua
LA TABLA DE VERDAD
Para determinar la funcin de verdad de un esquema
molecular, debemos usar la Tabla de verdad:
}
( ) p q p q
V V F V V
V F F V F
F V V V V
F F V F F

' ;

647 48
:
4
REPLICADOR
;
A es implicado por B
A si B
A ya que B
A puesto que B
A dado que B
A con tal de que B
A cada vez que B
A con la condicin de
que B
A es condicin
DISYUNTOR
EXCLUYENTE
;
A o slo B
A o solamente B
A o nicamente
B
A excepto que
B
BIIMPLICADOR
;
A siempre y cuando B
A es condicin suficiente y
necesaria para B
A porque y solamente si B
A es suficiente y B tambin
Slo si A entonces B
INCOMPATIBILIZAD
OR /
No A excepto que no
B
INALTERNADOR

No A y no B
Combinacione
s
Variables
Clculo de
verdad
Esquema
Molecular
Nota: los dems operadores se formalizan de acuerdo a su significado, en los casos tal y como se present en temas
anteriores.
Variables: Son aquellas letras que estn
presentes en el esquema molecular.
Esquema molecular: Es la frmula que
representa a una proposicin molecular cualquiera.
Debe ser una frmula bien formada (fbf).
Clculo de verdad: Se efecta el clculo de
verdad del esquema molecular siguiendo las reglas
de operacin para cada conector presente y
respetando la jerarqua de conectores y de signos
de agrupacin. El clculo de la funcin de verdad se
hace en el cuadrante inferior derecho.
Combinaciones: Para determinar el nmero de
combinaciones, contamos el nmero de variables
presentes (n) seguidamente efectuamos la
operacin:
2
n
, el resultado de esta operacin ser
la cantidad de combinaciones que debemos realizar.
Las combinaciones se escriben de derecha a
izquierda. Primero de uno en uno, luego de 2 en 2,
seguidamente de 4 en 4 y as sucesivamente.
TIPOS DE ESQUEMAS MOLECULARES
A) De acuerdo a la Matriz Final.
- Tautolgico.
Cuando todos los valores de las combinaciones
presentes son verdaderos en la matriz final.
- Contradictorio.
Cuando todos los valores de las combinaciones
presentes son falsos en la matriz final.
- Contingente.
Cuando hay por lo menos un valor verdadero y
por lo menos un valor falso en las
combinaciones presentes de la matriz final.
B) De acuerdo al operador principal.
- Negativo. Cuando el
operador principal es el negador.
- Conjuntivo. Cuando
el operador principal es el conjuntor.
- Implicativo. Cuando
el operador principal es el implicador.
PROBLEMAS DE APLICACIN
1) S
abiendo que:
( ) ( ) ( ) ; ; v p V v q F v r F , entonces
los valores de verdad de:
I) ( ) ( ) p q r r : :
II) ( ) ( ) p q q r
III) ( ) ( ) r p p q : : , son respectivamente
(a) FFF (b) VFF (c) VVV
(d) VFV (e) VVF
2) S
i la proposicin compuesta
( ) ( ) p q p r : es falsa, cul es el valor
de verdad de las proposiciones
, , p q r
,
respectivamente?
(a) VFF (b) FFV (c) VVV
(d) FFF (e) FVV
3) S
ean las proposiciones:
p: Moyabamba es la capital del departamento de
San Martn
q: Juliaca es una ciudad cuzquea
r: La pampilla se encuentra en el departamento de
Piura.
Y, dadas las siguientes frmulas:
I. ( ) ( )
p q r p : : :
II. ( ) p q r p 1
]
: : :
III. ( ) / p q r p 1
]
: :
Cules de ellas son verdaderas?
(a) Slo I (b) Slo II (c) Slo III
(d) I y II (e) I; II y III
4) S
i el siguiente esquema molecular es falso:
( ) ( )
p q r s : : ; La funcin de verdad de
cada una de las variables, es respectivamente:
(a) VFFV (b) FVVF (c) VVVF
(d) FFFV (e) VFVF
5) S
i
( p ) = V y ( q ) = F; Hallar el valor de verdad de:
[ q ( p q ) ( p q ) ]
(a) Verdadero (b) Falso
(c) No se puede determinar
6) D
eterminar el valor de verdad de la proposicin p y q
Si: p q F; ( p q ) ( p q) V
(a) Verdadero (b) Falso
(c) No se puede determinar
7) D
emuestre que la siguiente implicacin es una
tautologa: [ ( p q ) q ] p
8) S
i la proposicin formal
p q
es falsa lgicamente,
luego la proposicin siempre verdadera no es:
(a)
p q :
(b)
p q : :
(c)
p q :
(d)
q p :
5
De acuerdo al operador principal, existen tantos
tipos de esquemas como operadores.
(e)
q p : :
9) S
i:
p: 1 es un nmero primo.
q: 2 es un nmero primo.
r:
9 16 9 16 + +
s: ( )
2
2 2
2 3 2 3 + +
Determinar el valor de verdad de:
( ) ( ) ( ) p s q r s 1
]
: :
(a) Verdadero (b) Falso
(c) No se puede determinar
10)
Cul de los razonamientos no es una frmula
proposicional tautolgica?
(a) si
p q y p : :
, luego
q
(b) si
p q y q
, luego
p
(c) si
p q y p : :
, luego
q
(d) si
p q y q : : :
, luego
p
(e) si p q y q : : : luego
p
11) L
a funcin de verdad principal de la frmula
proposicional:
( ) / p q p 1
]
: : : : , es:
1) 1111 2) 0000 3) 1000 4) 1100 5) 1001
Son ciertas:
(a) Slo 1 (b) Slo 2 (c) Slo 3
(d) Slo 4 (e) Slo 5
12) S
ean las proposiciones:
p: Helsinki es la capital del pas de Findalandia.
q: El peso es la moneda de Mxico.
r: La Pampilla se encuentra en el departamento de
Piura.
Y dadas las siguientes frmulas:
I. ( ) ( )
p q r p : : :
II. ( ) p q r p 1
]
: : :
III. ( ) / p q r p 1
]
: :
Cul de ellas son verdaderas?
(a) Slo 1 (b) Slo 2 (c) II y III
(d) I y II (e) Todas.
13) S
i el siguiente esquema molecular
( ) ( )
p q r s : :
es falso; la funcin de
verdad de cada una de las variables es
respectivamente:
(a) 1001 (b) 0001 (c) 0110 (d) 1110 (e) 1010
14) S
ean las variables:
p: La lgica no es una ciencia factual.
q: La lgica formal estudia la validez de los
razonamientos.
r: La matemtica es una ciencia factual.
s: Capital de Beirut el Lbano.
Luego los esquemas siguientes:
I. ( ) ( ) p q p r : :
II. ( ) / q p q r 1
]
: : :
III. ( ) ( ) p q r s r 1
]
: :
Tienen como valores de verdad:
(a) VVV (b) FVF (c) FFF (d) VFV (e) VVF
15) D
e los siguientes esquemas formales:
I. ( ) ( ) p q p q : : :
II. ( ) / q p q p 1
]
: : :
III. ( ) ( ) p q q p q 1
]
: :
Cules de ellos tienen matriz principal tautolgica?
(a) Slo 1 y 2 (b) Slo 1 y 3 (c) Slo 2 y 3
(d) Todos (e) Ninguno
16) S
i la proposicin:
( ) ( ) m n p q r 1
]
:
es falsa, el valor
de verdad de:
( ) ( ) m p q r n 1
]
(a) Verdadero (b) Falso
(c) No se puede determinar
DEMOSTRACIONES
17) D
emostrar que :
[ ] ( ) p q p q : :
es una tautologa.
18) D
adas las proposiciones compuestas:
I. ( ) ( ) p q p q : :
II. ( ) p q : :
III. ( ) p q : :
Cules son equivalentes?
19) S
ean p, q proposiciones:
6
(1) Muestra que
( ) p q p q : :
, es una contradiccin.
(2) A partir de la contradiccin
anterior construye una proposicin tautolgica.
(3) Crea otra contradiccin a
partir del esquema del item (1), realizando
sustituciones de las proposiciones p y q.
(4) Muestra que
( ) ( ) p q p q : :
, es una tautologa.
20) S
ean p, q proposiciones. Justifica por qu las
siguientes proposiciones son tautologas (sin tabla
de verdad)
(1)
p p : : :
(2) ( ) ( ) p q p q :
(3) El diario se edita todos los
das o no se edita todos los das.
(4) Juan estudia 4 horas diarias
o no estudia 4 horas diarias.
21) D
ado el siguiente esquema formal falso:
( ) ( ) p q q r 1
]
: : :
. Los valores de p, q
y r son respectivamente:
(a) 110 (b) 000 (c) 101 (d) 001 (e) 010
22) C
ul de los siguientes esquemas son formales
inconsistentes:
I. ( ) A B A
II. ( ) A B A 1
]
:
III. ( ) A B A : :
Son ciertas:
(a) Slo I (b) Slo II (c) I, II y III
(d) Slo III (e) I y III

7