Razonamiento Logico 4to y 5to

COLEGIO DE CIENCIAS: MUNDO FELIZ LGICA Y RAZONAMIENTO LGICO 4 y 5
LA PROPOSICIN LGICA
1. Definicin
Es la expresin lingstica del juicio aseverativo y como enunciado tiene sentido y
coherencia con significado o contenido contextual, que puede ser calificada de verdadera
o solo falsa !ero no am"as a la ve#
$ittgenstein afirma que, la proposicin es un %estado de cosas& 'signos( que
figura o representa otro&estado de cosas& Es decir que la proposicin es una figura de la
realidad y es verdadera porque muestra cmo est)n las cosas, muestra el aspecto lgico
de la realidad
!ara la corriente filosfica neopositivista la proposicin lgica es una epsteme o
proposicin cientfica, mientras que la proposicin emprica o de la vida cotidiana carece
de medios cientficos como la o"servacin, hiptesis, la experimentacin y compro"acin
para afirmar o negar su significado *omo el juicio aseverativo se expresa usando el
lenguaje, luego se materiali#a a trav+s de la oracin aseverativa
2. C!c"e!#$"ic$ %e & '!('($icin en e& )!c( %e & "e(!# %e& &en*+,e
!rimero de"emos recordar lo siguiente,
La oracin en el campo de la teora del lenguaje o la comunicacin- es de origen
gramatical .a oracin es la menor unidad del ha"la que transmite un mensaje
completo por s misma, por lo que se dice que tiene sentido completo e
independencia sint)ctica
Ejemplo, El cactus puede vivir con poca cantidad de agua
.as oraciones se clasifican,
a) /racin "imem"re, generalmente, las oraciones est)n formadas por dos partes o
miem"ros enfrentados llamados sujeto y predicado, por eso reci"en el nom"re de
oraciones "imem"res '/0( Ejemplo, El granero est) limpio y preparado
b) /racin unimem"re, aquellas oraciones que no pueden dividirse en sujeto y
predicado, ya sea porque no tienen ver"o o porque el ver"o es impersonal, se
llaman oraciones unimem"res '/1( Ejemplo, 23ilencio4
c) /raciones aseverativas, pueden ser afirmativas o negativas(son proposiciones)
d) /raciones interrogativas, sirven para preguntar
e) /raciones exclamativas, son admirativas y las que causan sorpresas
f) /raciones exhortativas, se usan para hacer ruegos o mandatos
g) /raciones desiderativas, expresan deseos
h) /raciones du"itativas, expresan duda
5hora detallamos las caractersticas m)s importantes de las proposiciones,
Son oraciones denotativas, declarativas y aseverativas, porque afirman o niegan
una cosa de otra.
Ejemplos,
a( %.os )tomos tienen n6cleo& 'afirmativa(
"( %7 > 8 9 4 %
c( %:oledo es el presidente del !er6&
d( %El movimiento no es a"soluto&'negativa(
Sintcticamente est formado por sujeto y predicado.
Ejemplos,
a( %.a tierra es de forma plana&
"( %3oy responsa"le& 'est) en primera persona(
LIC: JAVIER VILLARREAL REYES Pgina 3
c( %:rujillo es metrpoli&
d( %.os n6meros no son concretos;
istintas oraciones declarativas pueden tener una misma proposicin.
Ejemplos,
a( %<ujimori es compadre con =ladimiro& y %<ujimori y =ladimiro son compadres&
"( %.a televisin es perniciosa y alienante& y %.a televisin es alienante y perniciosa&
La oracin aseverativa, e!presin de la proposicin debe tener sentido
(interpretada y comprendida) por una comunidad.
Ejemplos,
a( %El neoli"eralismo es inhumano&, es comprendido por los polticos en el mundo
"( %*han *han es resto histrico&, comprendido por los peruanos
c( %El tri)ngulo de las 0ermudas es mstico&, comprendido por los centroamericanos
"lgunas oraciones llevan el sujeto impl#cito
Ejemplos,
a( %.lueve& se entiende como %>oy llueve&
"( %Esperar+ en la playa& se comprende como %?o esperar+ en la playa&
La proposicin es verdadera o slo falsa, es decir denotan o designan un
significado lgico de la realidad.
Ejemplos,
a( %.a lgica es una ciencia&, es verdadera
"( %El anarquista no es democr)tico&, es verdadera en la sociedad
c( %:oda ecuacin no tiene varia"le&, es falsa en las ciencias matem)ticas
-. N( $(n '!('($ici(ne$
-.1 L($ en+nci%($ e.'!e$i/($
a( 5dmirativas, 2=iva el !er64
"( @esiderativas, %:e deseo suerte&
c( :odo lo que corresponde a la imaginacin,
*uentos, %.a caperucita roja visit a su a"uelita&
<)"ulas, %.a #orra mira"a las uvas para comerlas&
.eyendas, %Aanco *)pac sali del .ago :iticaca&
Befranes, prover"ios, etc
-.2 L$ %(.$
Co son proposiciones
a( 3eg6n !armDnides son opiniones que plasman una apariencia, ilusin o engaEo
con la verdad
"( 3eg6n !latFn, es una opinin que se contrapone a la ciencia, o sa"er verdadero
Ejemplos,
a( .a virgen de la puerta es milagrosa
"( Be#a mucho y @ios te perdonar) tus pecados
-.- L($ en+nci%($ $in $en"i%(
a( %:odo padre es un rom"o&
"( %.a multiplicacin de mis errores es amarillo&
-.0 L($ en+nci%($ 1ie!"($
a( %es traidor&
"( %G
H
I J K LM%
c( %' x I L ( ' x IL( K G
H
I L%
-.2 L$ e.'!e$i(ne$ %i!ec"i/$
3on rdenes, mandatos o peticiones, prescripciones o normas de conducta y
jurdicas
Ejemplos,
a( 23ilencio4
"( %Co rayar las paredes&
-.3 L($ en+nci%($ en )e"&en*+,e 'e!( )& +$%($
3on enunciados que usan o no comillas, en una o m)s pala"ras, en la que no se
especifican los niveles de lenguaje y como consecuencia se producen frases
am"iguas
Ejemplos,
a( %!edro tiene cinco letras&
"( %.a pala"ra oso es un animal&
c( %%@eshonesto %es sinnimo de corrupto&
0. C&$e$ %e '!('($ici(ne$ '(! $+$ '!('ie%%e$
0.1 4(! $+ cn"i%%:
5 4!('($ici(ne$ +ni/e!$&e$

*ada ve# que el sujeto lleva el operador cuantificacional %:odos&
Ejemplos,
%:odo congresista es poltico&
%.os n6meros son a"stractos&
%*ada circuito tiene entrada y salida&
15 4!('($ici(ne$ '!"ic+&!e$
*ada ve# que el sujeto lleva el operador existencial %5lgunos&
Ejemplos,
%5lgunos electrones salen de su r"ita&
%*asi todo fujimorista es corrupto&
%*asi no existen anarquistas infantiles&
c5 4!('($ici(ne$ $in*+&!e$
*uando el sujeto es un nom"re propio
Ejemplos,
%El !er6 depende del fondo monetario internacional&
%El cero es neutro&
%<ujimori est) prfugo&
0.2 4(! $+ c&i%%
5 4!('($ici(ne$ fi!)"i/$
3i el ver"o est) afirmado
Ejemplo,
%:rujillo es metrpoli&
%!i es irracional&
%.os polgonos est)n en el plano&
15 4!('($ici(ne$ ne*"i/$
3i el ver"o est) negado
Ejemplos,
%:rujillo no es metrpoli&
%!i no es irracional&
%<ujimori es anticomunista&
0.- 4(! $+ )(%&i%%
5 4!('($ici(ne$ $e!"!ic$ 6%e !e&i%%5
3on proposiciones empricas, contingentes o de hecho, fcticas, que pueden ser
verdaderas o falsas, afirmativos o negativos de acuerdo a su realidad inmediata
dependen tan slo de la percepcin 3on as mismo descripciones de hechos
singulares, particulares y universales
Ejemplos,
%.a casa es negra&
%:um"es est) en el norte del !er6&
%5lgunos congresistas son tr)nsfugas&
%.os peruanos preparan una nueva democracia para una nueva rep6"lica&
:am"i+n son llamadas proposiciones sint$ticas 'pertenecen a la
experiencia(*uando el $i*nific%( del c(nce'"( '!e%ic%( no est) incluido en el
$i*nific%( del $+,e"( 3e "asan en la experiencia para tener conocimiento de ello
Cos dan una informacin extra acerca de algo, pues el predicado completa al sujeto
Ejemplos, %esta tarde es fr#a&, %.a maEana est calurosa&

15 A'(%#c"ic$
En la ;*rtica de la ra#n pura;, Emmanuel Nant propuso que los enunciados
son de dos clases, analticos o sint+ticos .a diferencia entre estos dos enunciados
estri"a en la forma como se les predica verdad, para los analticos, slo en funcin
del significado de sus t$rminos- para los sint+ticos, en funcin de cmo es el
mundo L($ n&#"ic($7 entonces, no nos dicen nada so"re el mundo, son puras
tautolog#as L($ $in"8"ic($ s ha"lan sobre el mundo
Ejemplos de enunciados analticos,
;:odos los solteros son no casados;-
;El color negro es oscuro;
5hora "ien, tam"i+n hay una diferencia entre cmo se conocen los
enunciados, algunos son cognosci"les a priori y otros a posteriori .os a priori son
Ejemplos de enunciados sint+ticos,
;>ay un automvil all) afuera;-
;Est) lloviendo;
*ognosci"les por un puro ejercicio de la ra%n, sin necesidad de recurrir al mundo
.os a posteriori necesitan, para ser conocidos, que el sujeto recurra al mundo .o
a priori es necesario 'no puede no suceder( y lo a posteriori es contingente 'puede no
suceder(
&roposiciones anal#ticas 6n( 'e!"enecen & e.'e!ienci5. 3eg6n Nant, son
proposiciones en la que el c(n"eni%( %e& '!e%ic%( se encuentra inc&+i%( en la
nocin del $+,e"(, es decir, el predicado es el resultado del an)lisis del sujeto en sus
formas esenciales 'El predicado designa una propiedad del sujeto( 5s mismo son
lgicamente verdades universales y necesarias, all donde se d+ un sujeto de esa
clase tienen que darse al mismo tiempo y necesariamente sus predicados
esenciales, siempre son verdaderas
'asos de proposiciones anal#ticas(
Sujeto y predicado son id$nticas y no se contradicen Nant las llam verdades
analticas Ouicios a priori, al igual que los analticos, no surgen de la experiencia
Ejemplos,
un cuadrado tiene cuatro lados
una "icicleta tiene dos ruedas
:odo millonario tiene mucho dinero
.os tri)ngulos tienen tres lados y tres )ngulos '!or definicin(
Son e!plicativos pero no e!tensivos 'no aEaden un conocimiento nuevo(
Ejemplos,
%.os solteros no son casados& 'el sujeto es lo mismo que el predicado(
%.os tri)ngulos tienen tres lados& 'el sujeto es lo mismo que el predicado(
Son definicionales 'tautolgicas(, o de una lgica que impide que v)lidamente
puedan negarse
Ejemplos,
%El todo es mayor que la parte&Ppor deduccin
%L9LKH&P por deduccin
%.a suma de los )ngulos interiores de un tri)ngulo es L7M&P por deduccin
Las proposiciones matemticas y lgicas son, dentro del sistema esta"lecido,
o definiciones o teoremas deducidos !or ello son siempre proposiciones de
naturale#a anal#ticas
En algunas proposiciones analticas no siempre aparece la pala"ra &es necesario&
Ejemplos,
.a operacin adicin es necesariamente asociativa
.a operacin adicin es asociativa
Son proposiciones necesarias
Ejemplos,
;1na jirafa es una jirafa;
;:odas las tas son mujeres; 'esto es, su verdad es cognosci"le a priori(
%:odos los metales son conductores de la electricidad&
'.a propiedad de ser conductores es necesaria para todo metal(
%:odo millonario tiene mucho dinero& 'es necesario tener dinero(
%.os "ajos no son altos& 'la existencia de "ajos o"liga existir los altos(
&or la cualidad, son afirmativas y negativas
Ejemplos,
%El cuadrado no puede tener cinco letras&
Son anal#ticas pero triviales
Ejemplos,
Q.as casas negras son casasQ la verdad se descu"re por el an)lisis del
concepto en s mismo
;El hidrgeno es el elemento de n6mero atmico L&Pes analtica
;Ai suegra es una mujer&Pes analtica
;El go"ierno del pue"lo es el go"ierno del pue"lo&
%@os m)s dos son cuatro&Pes analtica y a priori
)nas afirman que la posesin de una propiedad lleva consigo la posesin de
otra.
Ejemplo,
:odo lo coloreado es extenso 'lo extenso es parte de un coloreado(
:odo cuadrado posee una figura 'es evidente que sea una figura(
:odo lo verde es coloreado 'lo coloreado es siempre de un color(
El o"jeto verde no es simult)neamente rojo 'si es de un color no es de otro(
*tras sostienen que la posesin de una propiedad lleva consigo la e!clusin
de otra
:odo lo rojo es no verde
:odo lo cuadrado es no circular
.o "lanco no es negro 'proposicin que cita .ocRe(
.o a#ul no es amarillo 'proposicin que cita .ocRe(
.o "lanco no es negro 'proposicin a priori(
El crculo no es un cuadrado 'proposicin a priori(
Sueda claro que la proposicin que asegura que lo negro no es blanco ha de ser
una proposicin tautolgica, anal#tica !or consiguiente, una proposicin similar a la
que afirma que si algo es blanco, entonces no es no blanco.
c5 4!(1&e)9"ic$ 6%+%($$ ( %e '($i1i&i%%5
3on las proposiciones hipot+ticas o plausi"les, es decir cuando su valor de verdad se
determina con el tiempo 'pasado o futuro(
!ueden ser afirmativos o tam"i+n negativos
Ejemplo,
%Puedo ganar esta partida de ajedre#&
%?o puedo no ganar la partida de ajedre#&

&ueden ser singulares particulares y universales.
Ejemplos,
%El agua puede helarse&
%En la sierra li"erteEa puede ha"er sequa&
%.a gripe puede producir mucha fie"re&
%El socialismo habra podido derrotar al capitalismo en LTT7&
LGICA PROPOSICIONAL
1. L$ c(nec"i/$ &*ic$
Es el nom"re que reci"en en lgica ciertas conjunciones que go"iernan las frmulas
lgicas, estas funcionan como signos primitivos y como signos definidos, tam"i+n se les
llama constantes lgicas
.as constantes lgicas vienen a formar las estructuras de los enunciados
moleculares y son las que contienen a las proposiciones
Ejemplo,
+n vista de que el gas es un com"usti"le por eso es vol)til
2. C&$e$ %e c(nec"i/$
CONECTI:A
SINGULAR
6 M(n;%ic 5
CONECTI:AS <INARIAS
6Di9%ic5
Es llamado negador
3u expresin es %Co&
3e sim"oli#a como ,
% % , % ~
C(n,+n"(! <ii)'&ic%(! )"e!i&
3u sm"olo es,

3u estructura es,
%PPyPP&
3u sm"olo es,
,
3u estructura es,
%Psi y solo si&
Di$=+n"(! Inc&+=en"e In&"e!n%(!

3e sim"oli#a
como,
+
3u estructura es,
>.(>..
3e sim"oli#a
como,

3u estructura es,
%CiP y niP&
Di$=+n"(! e.c&+=en"e
Inc()'"i1i&i?%(!
3e sim"oli#a
como,

3u estructura es,
(>...(>...
3u sm"olo es

3u estructura es,
%Co P o no P&
I)'&ic%(! )"e!i&
Re'&ic%(!
3e sim"oli#a
como,
,
3u estructura es,
%3ientoncesP&
3u sm"olo es,

3u estructura es,
%P siP&
-. C&$e$ %e '!('($ici(ne$ '(! $+ c(nec"i/ &*ic
-.1 4!('($ici(ne$ $i)'&e$
3on las proposiciones que no poseen conectiva proposicional alguna en los
caracteres de su escritura
Estructura lgica
Ejemplos,
El socialismo cu"ano est) moderni#)ndose
.as protu"erancias solares interrumpen las comunicaciones terrestres
.os tri)ngulos mixtilneos tienen al menos un lado curvo
:oledo implement la segunda etapa del neoli"eralismo en el !er6
5 4!('($icin $i)'&e '!e%ic"i/
3on proposiciones cuyo predicado est) calificando al sujeto enla#ado por un
copulador o ver"o
Ejemplos,
:rujillo e$ )e"!'(&i.
*ada polgono "iene )9$ %e "!e$ &%($.
15 4!('($icin $i)'&e !e&ci(n&
*uando la proposicin tiene un t+rmino relacional 'entre, divide, paralelo,
consecutivo, hermano, opuesto, compadre, junto a, mayor que, menor que, igual a,
equivale a, ( que relaciona a dos sujetos insepara"lemente, esta"leciendo una
relacin de dependencia entre dos o"jetos .os sujetos son fundamentalmente
coordinados
Ejemplos,
:oledo y =ladimiro son contempor)neos, o si no, :oledo es contempor)neo con
=ladimiro
@os y menos dos son opuestos, o si no, @os es opuesto a menos dos
*inco es mayor que cuatro
<ujimori y =ladimiro son compadres, o si no, <ujimori es compadre con
=ladimiro
8.2 4!('($ici(ne$ )(&ec+&!e$
3on proposiciones que poseen una o m)s conectivas proposicionales en los
caracteres de su escritura
CONECTIVAS LGICAS Y
SUS ESTRUCTURAS LINGSTICAS EQUIVALENTES
CONECTOR: NEGADOR
E$"!+c"+! &*ic: N( ...
S#)1(&($ : 7 @
L Co 5
H Cunca, 5
8 Oam)s se da que 5
4 Es falso que 5
CONECTOR: CONJUNTOR
E$ &&)%( : C()'"i1i&i?%(!
S+ e$"!+c"+! e$ : ... = ...
S#)1(&($ :
L 5 y 0
H 5 pero 0
8 5 aunque 0
5 Es inconce"i"le que 5
U Es imposi"le que 5
J Co ocurre que 5
7 Co es verdad que 5
T Co es el caso que 5
LM Es mentira que 5
LL Es inadmisi"le que 5
LH Co acaece que 5
L8 Co es innega"le que 5
L4 *arece de todo sentido que 5
L5 @e ninguna forma se da 5
LU Es incorrecto que 5
LJ Es incierto que 5
L7 Cadie que sea 5
LT Co se da que 5
HM Es a"surdo que 5
HL Co se conci"e de que 5
HH Es una farsa de que 5
H8 Co se admite que 5
H4 Co es aut+ntico el que 5
H5 Co es evidente que 5
HU Co es posi"le que 5
HJ Es fala# de que ocurra 5
H7 En modo alguno se da 5 ' se de"e tener
cuidado con esta <. ya que en algunos
casos no niega a una proposicin, el contexto
lo decidir) (
HT Es o"jeta"le que sea 5
4 5 sin em"argo 0
5 5 incluso 0
U 5 es compati"le con 0
J 5 as como 0
7 5 tam"i+n 0
T 5 del mismo modo 0
LM 5 de la misma manera 0
LL 5 de la misma forma 0
LH 3iempre am"os 5 con 0
L8 5 no o"stante 0
L4 5 empero 0
L5 Co slo 5 sino tam"i+n 0
LU 5 as mismo 0
LJ 5 sino 0
L7 5 a pesar de 0
LT 5 a la ve# 0
HM 5 igualmente 0
HL 5 e incluso 0
HH 5 am"os a la ve# 0
H8 3in que 5 tampoco 0
H4 :anto 5 cuanto 0
H5 5 tal como 0
HU 5 al igual que 0
HJ 3in que 5 tampoco puede ha"er 0
H7 5 del mismo estilo tam"i+n ocurre 0
HT Es cierto que 5 sino incluso 0
8M Co slo 5 inclusive 0
8L *ierto es que 5 lo mismo que 0
CONECTOR: DISYUNTOR EXCLUYENTE
L&)%( ")1i8n : Di$=+n"(! f+e!"e (
<i&"e!n%(!
S+ e$"!+c"+! e$ : O>......... O>........
3m"olos, / ><
L / "ien 5 o "ien 0
H 5 o 0 ' en sentido excluyente(
8 5 excluye a 0
4 5 se contrapone a 0
4 5 no equivale a 0
5 5 no se define como 0
U 5 no es igual a 0
J ?a "ien 5 ya "ien 0
7 5 o solamente 0
T 5 o necesariamente 0
LM 5 salvo que solamente 0
LL5 ya "ien solo 0
12. 5 y "ien o tam"i+n solamente 0
L8 5 excepto que solo 0
L4 5 excepto que necesariamente 0
L5 5 ya "ien necesariamente 0
CONECTOR: IMPLICADOR
C(n%ici(n& : Si>....en"(nce$>.
S#)1(&($ : 6 7 5
L 3i 5 entonces 0
H ?a que 5 "ien se ve que 0
8 *uando 5 as pues 0
4 3iempre que 5 por consiguiente 0
5 :oda ve# que 5 por eso 0
U @ado que 5 por eso 0
J En la medida que 5 de all 0
CONECTOR: REPLICADOR
S+ e$"!+c"+! e$: >>>..... $i>>>....
S#)1(&($ : 6 7 5
!ara algunos lgicos no existe esta conectiva,
pero es muy frecuente su uso por muchos lgicos
espaEoles con el nom"re de <1C:/B ,
BE!.V*5@/B Co o"stante es aceptado en los
niveles preuniversitarios y en ex)menes de
admisin <inalmente esta conectiva no viene a
7 En cuanto 5 por tanto 0
T *on tal que 5 es o"vio que 0
LM *omo quiera que 5 por lo cual 0
LL En el caso de que 5 en tal sentido 0
LH @e 5 inmediatamente 0
L8 En virtud de 5 es evidente que 0
L4 @e 5 deviene 0
L5 En el caso que 5 en este caso 0
LU @e 5 deducimos 0
LJ @e 5 inferimos en 0
L7 @e 5 concluimos en 0
LT @e 5 llegamos a 0
HM 5 es la condicin suficiente para 0
HL 3i 5, 0
HH 3i 5 solo si 0
H8 .a cuestin es que 5 de all 0
H4 @e ocurrir 5 necesariamente ocurre 0
H5 En el supuesto caso de que 5 en tal
sentido 0
HU @esde el momento que 5 inmediatamente 0
HJ !uesto que 5 naturalmente 0
H7 :eniendo en cuenta que 5 "ien se ve que 0
HT *on que 5 seg6n lo cual 0
8M :odo est) en que 5, por lo cual se da 0
8L 3eg6n sea 5, por lo expuesto 0
8H 3i se verifica 5 "ien se ve que 0
88 :eniendo en consideracin de que 5 en tal sentido
0
84 5 da lugar a 0
85 !ara 5 es necesario 0
8U 5 es suficiente para que 0 sea necesario
8J .o necesario para 5 es 0
87 3iempre que 5 luego 0
8T 5l suceder 5, 0
4M 3iempre que 5 evidentemente 0
4L 5 por eso se tiene a 0
4H Vmplicado en 5 es 0
48 Vmplica 5 en 0
44 5 implica a 0
45 .o necesario para 5 es 0
4U 5 es innecesario para 0
4J !orque 5 , 0
47 5l darse 5 , como consecuencia se da 0
4T 5 causa de 5 se da 0
5M El antecedente 5 trae como consecuencia 0
ser sino el c(nec"(! i)'&ic%(! 'p q(
apuntando hacia la i#quierda, 'p q( , o
implicacin recproca 'q p( , que viene a ser lo
mismo
L 5 si 0
H 5 porque 0
8 3lo si 5 , 0
4 5 siempre que 0
5 5 es condicin necesaria para 0
U Es condicin necesaria 5 para 0
J 5 cada ve# que 0
7 5 dado que 0
T 5 puesto que 0
LM 5 supone que 0
LL 5 a condicin de que 0
LH 5 pues 0
L8 5 en vista de que 0
L4 5 ya que 0
L5 5 es insuficiente para 0
LU En el 6nico caso en que 5 , 0
LJ 3olamente si 5 , 0
L7 1na condicin suficiente para 5 es 0
LT !ara que ocurra 5 es suficiente 0
HM En el 6nico y necesario caso de 5 , 0
HL 5 es condicin necesaria para que 0 sea
suficiente
HH 5 est) implicado por 0
H8 Vmplica a 5 , 0
H4 Es necesario 5 para 0
H5 5 es consecuencia por 0
HU 5 cuando 0
HJ 5 es causado por 0
H7 .o que implica por 5 es 0
HT 3lo si 5,0
OEB5BS1W5 @E */CE*:V=53 .XYV*53
3e usa la jerarqua cuando en una estructura o
frmula lgica no aparecen signos de agrupacin,
as tenemos que, en forma ascendente , el
primero es de mayor jerarqua y la 6ltima es la
menor de todas ,

CONECTOR: INALTERNADOR
L&)%( ")1i8n: 4!i)e! Ne*cin SAeffe!
( D* %e SAeffe!
S+ e$"!+c"+! e$: Ni>> = ni>>.
S#)1(&( :
L Ci 5 y ni 0
H Ci 5 , ni 0
M8 M8 Es falso que, 5 o 0 'forma inalternante(
CONECTOR: INCOMPATIBILIZADOR
L&)%( ")1i8n: <!! %e Nic(% (
Se*+n% ne*cin
SAeffe!.
S+ e$"!+c"+! e$: N(>..... ( n(>...
S#)1(&( : B

L Co 5 o no 0
H Co 5 o ni 0
8 Es falso que, 5 y 0 ' forma
incompati"le(
CONECTOR:
DISYUNTOR INCLUYENTE
L&)%( ")1i8n: D81i& ( A&"e!n%(!
S+ e$"!+c"+! e$ : ........ (...........
S#)1(&($ : / 7 C
L 5 o 0
H 5 a menos que 0
8 5 salvo que 0
4 5 o tam"i+n 0
5 5 excepto que 0
U 5 o a la ve# 0
J 5 o en todo caso 0
7 5 o de lo contrario 0
T 5 o en su defecto 0
LM 5 ya "ien 0
LL 5 a no ser que 0
LH 5 o aunque tam"i+n 0
L8 5 ya sea que 0
L4 5 y "ien o tam"i+n 0
L5 5 o incluso 0
LU 5 o puede que 0
LJ 5 o es 0
5 menos q L7 Excepto que 5 , 0
LT 3alvo que 5 ,0
CONECTOR: BIIMPLICADOR
L&)%( ")1i8n: <ic(n%ici(n&
S+ e$"!+c"+! e$ : >.. $i = $(&( $i >...
S#)1(&($ : 7
L 5 si y slo si 0
H 5 es equivalente a 0
8 5 siempre que y solo cuando 0
4 5 equivale a 0
5 5 por lo cual y seg6n lo cual 0
U 5 se define como 0
J 5 es lo mismo que 0
7 5 si es de la misma forma que 0
T 5 es id+ntico a 0
LM 5 igualmente entonces 0
LL 5 cada ve# que y slo si 0
LH 3olo si 5 entonces 0
L8 Znicamente si y solo si 5 ,0
L4 3i y solo si 5, entonces 0
L5 5 es suficiente y necesario para 0
LU *ada ve# que solo si 5 entonces 0
LJ 5 es de la misma forma que 0
L7 5 es de la misma manera que 0
LT 1na condicin suficiente y necesaria para 5 es 0
C&$e$
5 4!('($icin )(&ec+&! ne*"i/
3on proposiciones que poseen la estructura lgica, %Co % o sus equivalentes
lingsticos
Ejemplos,
3crates no "e"i la cicuta
Es falso que 3crates "e"i la cicuta
15 4!('($icin )(&ec+&! c(n,+n"i/
Es llamada tam"i+n compati"le 3on proposiciones que usan la estructura lgica,
% y&, o sus equivalentes lingsticos
Ejemplos,
.os estoicos = los meg[ricos fueron discpulos de 5ristteles
5ncius 0oecio, :om[s de 5quino = !edro >ispano fueron lgicos medioevales
.ei"in# es el precursor de la lgica matem)tica n( (1$"n"e Yeorge 0oole la
creo
Yeorge 0oole utili# el )lge"ra para resolver pro"lemas del silogismo
aristot+lico $# )i$)( puso en evidencia los errores de 5ristteles
c5 4!('($icin )(&ec+&! %i$=+n"i/ inc&+=en"e
Es llamada tam"i+n alternador 3on proposiciones que usan la estructura
lgica, % o &, o sus equivalentes lingsticos
Ejemplos,
5ristteles axiomati# su teora del silogismo ( silogstica
@iodoro *ronos desarrollo la lgica de las modalidades temporales e.ce'"(
D+e sostuvo que la implicacin es verdadera cuando no es posi"le que sea
=\ <
.os meg[ricos formulan el principio de la transitividad salvo que las matrices
de verdad
%54!('($icin )(&ec+&! %i$=+n"i/ e.c&+=en"e
Es llamada tam"i+n "ialternador o "idusyuntor 3on proposiciones que usan la
estructura lgica, %/... O... & , o sus equivalentes lingsticos
Ejemplos,
5ristteles o naci en Estagira o en 5tenas
El principio del tercero excluido ( pertenece a 5ristteles ( a los
Estoicos
El cero es positivo o neutro
e5 4!('($icin )(&ec+&! i)'&ic"i/
Es llamado tam"i+n condicional 3on proposiciones que usan la estructura
lgica, %3i... en"(nce$... %, o sus equivalentes lingsticos
Ejemplos,
Si el ortocentro de un tri)ngulo es el centro de una circunferencia en"(nce$
est) inscrito
D%( D+e el poder judicial es corrupto, '(! e&&( el pue"lo toma la justicia en
sus manos
C+n%( las c+lulas no tienen n6cleo son neutras en c(n$ec+enci se pueden
clonar
f5 4!('($icin )(&ec+&! 1ii)'&ic"i/
Es llamado tam"i+n equivalencia o "icondicional 3on proposiciones que usan la
estructura lgica, % $i = $(&( $i... % o sus equivalentes lingsticos
Ejemplos,
@os )ngulos son complementarios $i = $(&( $i son adyacentes
@os )ngulos son proporcionales $ie)'!e = c+n%( sus longitudes son iguales
*ualquier congresista es neoli"eral e$ nece$!i( = $+ficien"e D+e aprue"e
leyes en contra de los derechos de los tra"ajadores
*5 4!('($icin )(&ec+&! in&"e!nn"e
Es llamado tam"i+n primera negacin sheffer
3on proposiciones que usan la estructura, %Ni... = ni... %, o sus equivalentes
lingsticos
Ejemplos,
El cero ni es positivo ni negativo
El !er6 ni es continente ni regin

A5 4!('($icin )(&ec+&! inc()'"i1&e
Es llamado tam"i+n segunda negacin sheffer 3on proposiciones que poseen la
estructura, %Co... ( n(... % , o sus equivalentes lingsticos
Ejemplos,
El electrn n( es positivo ( n( es neutro

FORMALIZACIN
1. Definicin
.a formali#acin del lenguaje natural es un proceso que consiste en sim"oli#ar
proposiciones atmicas y conectivas lingsticas haciendo uso de los sm"olos primitivos
del c)lculo de enunciados, como son varia"les proposicionales, sm"olos de conectivas
y signos de agrupacin
2. S#)1(&($ '!i)i"i/($
2.1 :!i1&e$
5 :!i1&e$ '!('($ici(n&e$
3on las letras min6sculas a partir de, p, q, r, s, t, u, v, ],
3e usan para representar proposiciones simples solamente
15 :!i1&e$ %e& )e"&en*+,e
3on letras may6sculas a partir de, 5, 0, *, @, E, <,
3e usan para representar, frmulas, leyes, reglas, principios de la lgica
2.2 Si*n($ %e *!+'cin
3e usar)n, ' (, [ ], { } y en ocasiones, , , ,, ,,, para agrupar proposiciones
-. C!i"e!i($
8L +l &unto siempre se interpretar como conjuntor,
Ejemplo,
%.a induccin no puede ser v)lido o no v)lido, porque no es una deduccin. .a
induccin es llamada pro"a"lemente "ueno o malo. .a induccin es una pro"a"ilidad&
3e sim"oli#a como, [ '\ p \ \ p( \ q ] ' r \ r ( s

8H 'uando al &unto le siga una conectiva cualquiera, deja de ser conjuntor y asume
la conectiva relevante
Ejemplos,
%<ujimori est) prfugo y los japoneses lo protegen. L+e*( no ser) reportado al !er6&
3e sim"oli#a como, 'p q( \ r
%:odo revolucionario es terico y pr)ctico ya que el cam"io es cualitativo y cuantitativo.
O $&( es terico y no pr)ctico&
3e sim"oli#a como, [ 'p q( 'r s( ] 'p \ q(
-.- 'uando al &unto le sigan los t$rminos,
%.uego&, %Entonces&, %!or lo tanto&, %En consecuencia& o sus equivalentes, todo lo
anterior de"e agruparse con par+ntesis, llaves o corchetes, y la conectiva principal es
un implicador
Ejemplos,
%El congreso representa a los partidos polticos, la "urguesa y los grupos de poder
porque go#an de privilegios otorgados .uego nunca estar)n a favor del pue"lo&
3e sim"oli#a como, [ 'p q r( s ] \ t
%3iempre que el go"ierno aplique el programa neoli"eral, se continuar) con las
privati#aciones y la anulacin de los derechos de los tra"ajadores, no o"stante si el
programa tiene rostro humano y social, el pue"lo siempre reclamar) !or lo tanto hay
provincias que est)n demandando cam"io de programa&
3e sim"oli#a como, [ ' p 'q r ( ] ' s t ( u ] u
84 La 'oma ,,, es una part#cula que significa(
1n conjuntor por lo general, en ocasiones una disyuncin incluyente, en otras
ocasiones acompaEa a otras conectivas y puede no significar nada
Ejemplos,
%.os pue"los de la sierra, constantemente reclaman en contra las medidas del
go"ierno&
3e sim"oli#a como, p, y o"s+rvese que la coma no se toma en cuenta
%*ada ve# que el go"ierno cam"ie las normas, entonces el pue"lo queda
desprotegido%
3e sim"oli#a como, p q, o"serve que la coma acompaEa al implicador
sint)cticamente
85 'uando hay falta de algunos signos de agrupacin se tomar) en cuenta el sentido
de la proposicin para poder reali#ar la agrupacin de la estructura ' esto pocas veces
ocurre(
Ejemplo,
%.os car"ohidratos se saturan en el cuerpo humano por lo que se necesita quemar
grasa diariamente si ocurre que no se quema grasa diariamente el ser humano
engordar) ilimitadamente o tam"i+n estar) propenso a un paro cardiaco&
3e formali#a como, 'p q ( [ q 'q r( ]
VERDAD FORMAL
1. Definicin
.a verdad o"jetiva, es la relacin directa entre el significado del enunciado y la
realidad Es la verdad del intelecto humano !or lo tanto, la verdad a que conduce la
lgica formal, es una verdad formal de las frmulas .a verdad formal no se da por
relacin a los o"jetos reales, sino por relacin a las leyes lgicas *omo quiera que al
lgico slo le interesa la verdad formal y deja de lado la verdad material, o alcance real
de las proposiciones en los ra#onamientos porque que am"os est)n en conformidad con
las leyes lgicas, aunque materialmente no se asuma
2. T1&$ %e /e!%%
Es un m+todo decisorio que consiste en determinar si la funcin veritativa de una
frmula proposicional es consistente, tautolgica o contradictoria En esta ta"la de
valores como m+todo muestra como se com"inan los valores de verdad ' = o < ( de las
proposiciones compuestas a partir de los operadores y los valores de verdad de las
varia"les proposicionales Es decir son todos los posi"les valores verdadero y falso que
puede tener una frmula lgica
-. C!c"e!#$"ic$ %e & "1& %e /e!%%
Es una ta"la dividida en cuatro regiones en las que se u"ican,
=aria"les proposicionales <rmulas lgicas
*om"inaciones o arreglos Aatrices
Es necesario que, por cuestiones de tiempo en el desarrollo de dichas ta"las veritativas,
se de"en de aprender los valores de verdad de las conectivas lgicas a partir de ciertos
criterios relevantes de cada una de ellas 5s tenemos el siguiente cuadro con los
aspectos relevantes y su funcin correspondiente, de cada conectiva,
/!EB5@/B 53!E*:/3 BE.E=5C:E3 <1C*VXC
*/A/ /!EB5*VXC 0VC5BV5
<unciona como una multiplicacin de valores
<unciona como una suma de valores +
*uando la primera es = y .a segunda es < , se o"tiene < L M M
*uando sus valores de verdad son iguales, se o"tiene =

L L L
M M L
*uando los valores de verdad son iguales, se o"tiene <

L L M
M M M
*uando los valores de sus componentes son < < se o"tiene = M M L

|
*uando los valores de sus componentes son = = se o"tiene < L L M

Razonamiento Logico 4to y 5to

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Razonamiento Logico 4to y 5to

Caricato da

Copyright:

Formati disponibili

COLEGIO DE CIENCIAS: MUNDO FELIZ LGICA Y RAZONAMIENTO LGICO 4 y 5

<unciona como una multiplicacin de valores

<unciona como una suma de valores +

*uando la primera es = y .a segunda es < , se o"tiene < L M M

*uando sus valores de verdad son iguales, se o"tiene =

*uando los valores de verdad son iguales, se o"tiene <

*uando los valores de sus componentes son < < se o"tiene = M M L

Potrebbero piacerti anche