Beruflich Dokumente
Kultur Dokumente
REDEMPTORIS MATER
Curso de Lgica
INDICE
UNIDAD I. INTRODUCCIN A LA LGICA SILOGSTICA................................................................................................. 4
1.1. EL CONCEPTO........................................................................................................................................................ 4
1.2. EL JUICIO................................................................................................................................................................. 5
1.3. EL RAZONAMIENTO............................................................................................................................................... 6
UNIDAD II. LAS FALACIAS O SOFISMAS........................................................................................................................ 10
2.1. LAS FALACIAS O SOFISMAS............................................................................................................................... 10
2.1.1. SOFISMAS POR RAZN DE LA FORMA....................................................................................................... 10
a) Sofismas de palabra, de diccin o gramaticales (falacias de ambigedad).......................................................10
b) Sofismas de pensamiento, dialcticos o de cosa............................................................................................... 11
2.1.2. SOFISMAS POR RAZN DE LA MATERIA................................................................................................... 11
a) Falacias de Atingencia........................................................................................................................................ 11
b) Falacias de datos insuficientes........................................................................................................................... 13
2.1.3. OTRAS CLASIFICACIONES DE SOFISMAS................................................................................................. 14
a) Falacias de Distraccin...................................................................................................................................... 14
b) Cambiando de Tema.......................................................................................................................................... 15
c) Falacias que apelan a la motivacin................................................................................................................... 15
d) Falacias Inductivas............................................................................................................................................. 16
e) Sofismas retricos.............................................................................................................................................. 16
f) Falacias causales................................................................................................................................................ 17
g) Falacias periodstico-polticas............................................................................................................................ 17
2.2. EJERCICIOS........................................................................................................................................................... 18
UNIDAD III. ELEMENTOS DE LOGICA MATEMTICA..................................................................................................... 21
3.1. LA NOTACIN......................................................................................................................................................... 21
3.2. LOS CONECTORES LGICOS.............................................................................................................................. 22
3.3. VALORES DE VERDAD DE LOS OPERADORES LGICOS................................................................................23
3.4. CONSTRUCCIN DE TABLAS DE VERDAD......................................................................................................... 27
3.5. ALGUNOS EJERCICIOS Y SOLUCIONES............................................................................................................. 28
REFERENCIA BIBLIOGRAFICA........................................................................................................................................ 29
La palabra lgica se deriva de la palabra griega logos, que significa primordialmente palabra. Pero esto significa
exactamente palabra pensada o, lo que es lo mismo, pensamiento. Dicho ms ampliamente, la lgica es la ciencia
que estudia normas que el hombre tiene que seguir para ordenar su pensamiento y por ende su expresin, para evitar el
error, tanto en su concepcin como en la captacin del pensamiento ajeno.
La lgica no proporciona ideas, conocimientos o pensamientos, sino que ensea la forma y los medios para ordenarlos;
de tal manera que el estudioso de esta ciencia debe tener ya un caudal de ideas, pensamientos o conocimientos en
general, para que dicha ciencia le organice su mente. La lgica plantea certezas y la razn busca la verdad mediante el
uso de certezas descritas por la lgica.
Esta ciencia no ayuda solamente al estudio de la filosofa en general, sino a la profundizacin de cualquier otra ciencia;
ms an, ella sirve en cualquier actividad humana, puesto que en toda circunstancia de la vida es necesario tener un
pensamiento claro, ordenado, por una parte, y por otra, comprender a fondo y claramente el pensamiento ajeno, y
finalmente captar la verdad ms fcilmente y evitar el error, tanto en el propio pensamiento como en el ajeno.
DIVISIN DEL ESTUDIO DE LA LGICA
1. Conceptos o ideas
2. Juicios
3. Razonamientos
Estas tres formas del pensamiento (internas) se expresan exteriormente de alguna manera, puesto que esta es la nica
forma que tiene el hombre para darse a entender. Existen muchas maneras de expresin, como por ejemplo, las seas,
la risa, el llanto, los silbidos, la pintura, la msica, etc., pero la forma ms comn y fcil es el habla.
Ante todo, no hay una palabra para cada concepto, puesto que varios conceptos se expresan con una misma
palabra; esto sucede en todos los idiomas ms conocidos. Por ejemplo: hoja de cuaderno, hoja de rbol, hoja de
cuchillo, hoja de puerta.
Por otra parte, se da tambin el caso contrario, en que un concepto se puede expresar con diferentes palabras; tal
es el caso de los sinnimos. El problema estriba en escoger el sinnimo ms adecuado a la circunstancia. Ejemplo:
pap, padre, progenitor, viejo, etc.
Dificultad mayor se encuentra cuando, en lugar de conceptos, queremos expresar sentimientos, emociones, afectos.
Es por ello que, en lugar de palabras, a menudo se expresan esos estados de nimo por otros medios: la sonrisa, la
4.
5.
Intelectual
Error
Falsedad
Voluntaria
De palabra... mentira
De hecho..... hipocresa
b) segn la cualidad:
Afirmativos: S es P
Negativos: S no es P
c) segn la relacin:
Categricos: S es P
Hipotticos: si S es P, entonces Q
Disyuntivos: S o Q es P; (o bien) S es P o Q
1.3. EL RAZONAMIENTO
El Razonamiento: proceso mental por el cual relacionamos 2 varios juicios y llegamos a uno nuevo.
Hay diferentes clases de razonamientos, pero en ltimo trmino pueden reducirse segn Aristteles a dos principales: el
razonamiento deductivo y el inductivo. En esta ocasin nos interesaremos por el razonamiento deductivo.
Razonamiento Deductivo: que de verdades generales ya conocidas concluye en juicios particulares.
El Silogismo (de sil: con, y logos: palabra, proposicin) Raciocinio formado por varias proposiciones. Es la estructura que
ha recibido el razonamiento deductivo, con su nomenclatura y leyes bien definidas. Es decir, la expresin perfecta del
raciocinio perfecto. El silogismo puede ser = categrico, disyuntivo o hipottico, dependiendo de las proposiciones que lo
componen. El silogismo ensea a razonar con objetividad y claridad.
a) Silogismo Categrico
1.
2.
3.
4.
Est compuesto por dos proposiciones categricas enlazadas entre s, de las cuales se saca una conclusin.
Las proposiciones se llaman premisas. Hay una "premisa mayor" y otra "menor"; Cada una tiene dos trminos;
uno de ellos se repite en cada premisa: es el "trmino medio"; los otros dos son los "trminos extremos".
Trmino de mayor extensin es el trmino mayor, el de menor extensin es el trmino menor.
La premisa que encierra el trmino mayor es la premisa mayor, la premisa que tiene el trmino menor es la
premisa menor. Ejemplo: "Juan es mecnico. Los mecnicos se ensucian las manos. Por lo tanto, Juan se ensucia
las manos".
Por lo tanto:
S es M (premisa menor)
M es P (premisa mayor)
S es P (conclusin)
Los trminos del silogismo son tres: mayor, medio y menor. Es evidente que cuatro trminos no concluyen
nada: "El hombre es mortal; el perro es carnvoro". Conclusin?
* Pero se dan casos en que aparentemente hay tres trminos, pero uno de ellos tiene dos significados: es un trmino
equvoco. Ej: "Las hojas son de papel; los rboles tienen hojas; por lo tanto..." No hay conclusin correcta, porque el
trmino "hoja" es trmino equvoco. Prcticamente los trminos son cuatro.
2.
Los trminos extremos no pueden tener, en la conclusin, mayor extensin que en las premisas. Ej: "los
animales son sensitivos: los animales son vivientes; por lo tanto, todo viviente es sensitivo". A pesar de que cada una de
las premisas es verdadera, la conclusin es falsa, porque "viviente" est tomado en sentido particular en la premisa
mayor y en sentido universal en la conclusin. (En efecto hay vivientes que no son sensitivos: los vegetales)
3.
El trmino medio debe tomarse por lo menos una vez en toda su extensin. De otro modo, puede darse el
caso de que se tome en dos porciones particulares diferentes, y entonces caeramos contra la primera ley, pues habra
cuatro trminos. Ej: Los peruanos son americanos; los mexicanos son americanos; por lo tanto... "No puede darse una
conclusin correcta".
4.
El trmino medio no puede entrar en la conclusin. El motivo es que el trmino medio sirve de "trmino de
comparacin". Es prcticamente imposible ir en contra de esta ley.
6.
De dos premisas negativas no se puede sacar ninguna conclusin. (es lo contrario del primer principio
fundamental)
7.
La conclusin sigue siempre la peor parte. La peor parte es la particular respecto de la universal, y la
negativa respecto de la afirmativa. Es decir, si una de las premisas es particulares, la conclusin deber ser particular; y
si una de las premisas es negativa, la conclusin deber ser negativa.
8.
De dos premisas particulares no se saca ninguna conclusin./ Si ambas son afirmativas, el trmino medio
est tomado ambas veces en sentido particular, y entonces va contra la tercera ley de los trminos./ si ambas son
negativas, se va contra la segunda ley de las premisas./ si una es afirmativa y la otra negativa, se va tambin contra la
tercera ley de los trminos. En otras palabras, esta ley es una ampliacin y una aplicacin de las leyes anteriores.
2 figura
P-M
S-M
S-P
3 figura
M-P
M-S
S-P
4 figura
P-M
M-S
S-P
b)
El toro muge.
El toro es una constelacin.
Una constelacin muge.
c)
d)
e)
I
I
A
f)
g)
E
I
O
A
A
A
h)
A
A
A
E
O
O
i)
I
I
I
I
A
I
i)
Respuestas:
a)
Este ejemplo falla a distintas leyes. La primera ley a la que falla es a la sptima, ya que dice que en la
conclusin debe aparecer la parte ms dbil; si las dos premisas son I, la conclusin debe de ser I tambin, no A. La
segunda ley a la que falla es a la cuarta, que dice que al menos una vez el termino medio debe ser tomado
universalmente; En este silogismo esta tomado ambas veces particularmente. La tercera ley a la que falla es a la
segunda, que dice que el trmino mayor y el menor no deben tener mayor extensin en la conclusin que en las
premisas.
b)
Ac hay una falla con respecto a la primera ley, que dice que todo silogismo tiene que tener tres trminos. En
este caso hay cuatro trminos, porque la palabra toro tiene distinto significado en cada premisa. Tambin se
produce una falacia de ambigedad equivoco.
c)
Ac falla a la cuarta ley, porque en ninguno de los dos casos el trmino medio es tomado universalmente. En
este caso el trmino medio es tomado las dos veces particularmente en el predicado.
d)
Aqu se produce una falla con respecto a la quinta ley, ya que hay dos premisas negativas, por lo tanto no puede
haber conclusin.
e)
Este silogismo falla a la cuarta ley, porque en la primera premisa el sujeto es particular y en la segunda el
predicado es particular.
f)
Ac falla a la cuarta ley, porque el trmino perfecto es utilizado particularmente en ambos casos.
Se falla a la segunda ley. Aqu el trmino vertebrado tiene mayor extensin que en las premisas.
h)
i)
j)
(Resulvela t)
(Resulvela t)
Silogismos
Los caninos tienen patas
Los gatos tienen patas
LOS GATOS SON CANINOS
2.
3.
4.
5.
6.
)
)
)
(
(
(
)
)
)
( )
( )
( )
(
(
(
)
)
)
( )
( )
ALGUNOS MAMFEROS NO TIENEN PATAS ( )
7.
Encuentra la conclusin
Algunos conceptos no son racionales
El concepto es abstracto
(
(
(
)
)
)
(
(
)
)
9.
)
)
10.
10
11
13
14
15
16
Sofisma "ad delectationem" (del deleite o del placer): Se aprovecha del goce que procuran a la sensibilidad
ciertos objetos o ciertas palabras. Como ejemplo, un aviso comercial de este tenor: - Ej.: "Los comprimidos M-2 son
excelentes para calmar la acidez estomacal: para saberlo basta comprobar su delicado sabor, en sus tres variedades:
menta, etc..."
17
g) Falacias periodstico-polticas
Llamar a las guerras de otra forma ("acciones de pacificacin").
Usar imgenes con alto contenido emocional (y poca informacin).
Limitar el debate a opciones "responsables".
Colocar a los puntos de vista disidentes en posiciones donde pueden ser trivializados.
Personificar realidades complejas (Saddam = Iraq).
Transformar personas en objetos o conceptos ("daos colaterales").
Aislar eventos de su contexto histrico.
18
2. Anfibologa (o confusin)
5. Figura de Diccin
3. Falacia de Composicin
6. Cambio de Acento
Ejemplo
Activa tu cuenta de celular prepago a slo 8 dlares (pero no se indica que haya que pagar
impuesto)
b.
La facultad de ingeniera tiene excelentes profesores; el ing. Garca es de esa facultad, por tanto
es excelente.
c.
Aristteles fue un filsofo genial; por tanto, puedo haber sido un gobernante genial.
d.
Los chinos inventaron la plvora, por tanto, el Sr. Lee, que es chino, sabe inventar la plvora.
e.
Mario le dijo a Pedro que era ladrn
f.
Le dio la mano y estaba helada como el hielo. Entonces su mano era de hielo.
Falacia
a.
Falacia de lo accidental
Falacia del transito de lo relativo a lo absoluto
Falacia de peticin de principio
Falacia de la ignorancia del asunto
El crculo vicioso
19
12.
13.
14. Ejemplo
a.
Sabemos que Dios existe porque los Textos Sagrados nos lo dicen. Y sabemos que los Textos
Sagrados son verdad porque son la palabra de Dios.
b.
Ya que ella se desempea como profesora que es una labor muy noble, entonces ella no pudo haber
cometido el robo. (O sea, ella es noble)
c.
Dado que la tcnica de ventas que probamos ayer funcion, entonces debe ser la mejor y por tanto
es la que deber siempre aplicarse.
d.
Todo efecto tiene una causa. El Universo es un efecto. Por tanto, El Universo tiene una causa.
e.
Irn intenta producir energa atmica. Nicaragua a solicitado ayuda a Irn en materia energtica;
entonces Nicaragua es un peligro para la regin porque la energa atmica es peligrosa.
21.
22.
23. B. SOFISMAS POR RAZN DE LA MATERIA
15. Falaci
a
16.
17.
18.
19.
20.
La tesis de la curvatura del universo de la Teora de la Relatividad no ha podido ser demostrada, por
lo tanto es falsa.
Las pruebas de la existencia de Dios de Santo Toms de Aquino son vlidas, pues l fue un gran
santo varn que sufri calvario durante su enclaustramiento injusto.
La propuesta del aumento salarial hecha por el diputado de la oposicin no puede de ninguna
manera ser aceptada, pues lo que l trata de hacer es recaudar la mayor cantidad de votos posibles.
Con los trabajos sobre fsica que Einstein realiz ha demostrado ser uno de los sabios ms grandes
de nuestra historia; por ello, sus opiniones sobre poltica internacional, como la creacin de un
organismo mundial de gobierno, tienen que ser verdaderas.
La tesis de Giordano Bruno de que Dios y la naturaleza son una misma realidad no tienen ningn
sentido, pues ste era simplemente un filsofo, un terico sobre Dios.
Es verdad, mam, que no fui a hacer el mandado; pero tampoco mi hermano quiso ir.
El Derecho de Gentes, de Vitoria, est plagado de falsedades, de ah que es mejor evitar su
propagacin, si no se quiere ver en problemas.
El teorema de las paralelas siempre ha sido vlido dentro de la geometra euclidiana; por lo tanto, no
puede ser invlido.
Usted ha dejado de emborracharse todas las noches?
Los productos de belleza modernos son fisiolgicamente adecuados, porque hace lucir bellas y
atractivas a las mujeres. Adems, si queremos estar a la moda, los productos de belleza son
indispensables.
Me dices que hay que debo estudiar ms, pero t has reprobado varias materias.
La educacin es importante para el desarrollo poltico; y como en Estados Unidos hay ms desarrollo
ellos son ms inteligentes que los nicaragenses.
37. Falaci
a
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52. b) Falacias de datos insuficientes
53. Falacia de falsa causa
55. La falta de pruebas
57.
58. Ejemplo
a.
Si l dorma cuando eran las diez de la noche, entonces no fue el culpable del delito. Pero como no
dorma a las diez, entonces tuvo que haberlo sido.
b.
La mayora de los jvenes de la universidad no saben analizar, dado que en la mayora de exmenes
que corregido en mi clase, muchos han fallado en la prueba.
c.
Con las pruebas presentadas, basta para declararlo culpable; si no, examine nuevamente mi
expediente y convnzase de ello.
59. Fala
cia
60.
61.
62.
d.
Cuando me levant de la mesa bot el salero, por ello me robaron al salir de mi casa.
63.
64. EJERCICIOS B.
65. Determine si los siguientes razonamientos son vlidos o falaces; si este ltimo es el caso, seale de qu clase son y
en qu consiste la falacia. Las falacias examinadas aqu sern las de atingencia: ad hominem, ad bculum, ad
ignorantiam, ad misericordiam, ad populum, ad verecundiam, causa falsa, pregunta compleja.
66.
1) Durante el proceso contra Galileo acerca del movimiento de la tierra alrededor del Sol, el encausado nunca logr
demostrar su inocencia, por esa razn, fue declarado culpable.
67.
2) Las intenciones de Bruto, al asesinar a Csar, nunca quedaron plenamente establecidas; por lo tanto, no fueron
buenas.
68.
3) El cdigo napolenico es un absurdo jurdico, pues no se esperaba otra cosa de un pequeo e ignorante corso.
69.
4) La teora sobre el calrico es vlida, pues siempre respondi a los problemas que se plantearon en el siglo pasado;
como, por ejemplo, la acumulacin de calor que se dan en las piezas metlicas que se rozan entre s.
70.
5) La teora de la generacin espontnea tiene que ser falsa, pues sus defensores son unos demonacos, enemigos de
Dios.
71.
6) La teora de subsidios para la industria y el transporte siempre resultan perjudiciales, especialmente en un sistema
democrtico, donde los votos cuentan para la eleccin de nuevas autoridades.
72.
7) Actualmente, todos los pueblos cultos del mundo piensan que la Teora de la relatividad es vlida; por lo tanto, debe
ser vlida.
73.
8) La teora sobre la justicia distributiva debe ser vlida, ya que favorece a los pobres, menesterosos y desvalidos de la
tierra.
74.
9) El principio de la ley internacional que enuncia la no-intervencin en los asuntos de otros pases debe ser aplicado
especialmente aquellos pases que no tienen fuerzas suficientes como para intervenir militarmente en los destinos de
otros pases. Pero, las naciones poderosas s pueden intervenir, pues poseen la fuerza militar y econmica para
hacerlo.
75.
76.
77. EJERCICIOS C.
78. Establecer si los siguientes razonamientos son falaces o no, si este ltimo es el caso, especifique en qu consiste y
de qu clase son; seale premisas y conclusin. Las falacias examinadas aqu sern las de ambigedad: Equvoco,
Anfibologa, nfasis, Composicin, Divisin.
79.
1) Nuestros competentes economistas no han podido solucionar el problema de la inflacin galopante.
2) Los rabes inventaron el lgebra, por tanto, Averroes fue un inventor del lgebra.
3) Los europeos descubrieron Amrica; John Doe es un europeo, por lo tanto, l descubri Amrica.
4) Tres veces dos y tres son nueve o quince.
5) Por ser grandes filsofos, los filsofos actuales son grandes gobernantes.
6) Pedro es un banquero, pues siempre est pendiente de su banco.
7) La orden de los franciscanos es muy ordenada, porque por ser orden, hay orden.
8) Todo lo que es racional tiene que pensar, por lo tanto, los nmeros racionales piensan.
9) Don Quijote era el hombre de la mancha, por lo tanto, o tena una mancha o proceda de algn lugar llamado
mancha, o tena alguna mancha moral.
80.
105.
106.
1.
107.
s: Bariloche es la capital de Chubut y Santa Rosa de La Pampa.
108.
La proposicin s es compuesta pues puede expresarse como p y q , siendo p y q las proposiciones dadas en el
apartado I-2.
109.
110.
2.
111.p: La capital de La Pampa es Santa Rosa
112.
No es compuesta, pues no hay descomposicin posible de este enunciado en otras proposiciones. Se trata de
una proposicin simple.
113.
114.
3.
115.
Si Juan va al cine hoy, entonces, Mara tambin.
116.
En este enunciado, se esconden dos proposiciones simples:
117.
p: Juan va al cine hoy
118.
q: Mara va al cine hoy (o Mara va al cine tambin)
119.
La estructura del enunciado es: si p entonces q.
120.
La proposicin dada es una proposicin compuesta, obtenida combinando las proposiciones t y w.
121.
122.
4.
123.
Esta noche vamos al cine o a tomar un caf.
124.
La estructura de esta proposicin compuesta es: m o n, siendo:
125.
m: Esta noche vamos al cine.
126.
n: Esta noche vamos a tomar un caf
127.
128.
5.
129.
Esta noche vamos al cine y a tomar un caf
130.
Observa que las proposiciones componentes son las del ejemplo anterior, sin embargo, el sentido de la nueva
proposicin es diferente, habiendo cambiado el modo de combinarlas, de conectarlas.
131.
132.
133.
134.
135.
3.2. LOS CONECTORES LGICOS
136.
137.
138.
139.
Expresiones en el lenguaje
natural
140.
141. no p
142. es falso que p
143. no es cierto que p
145. p y q
146. p pero q
147. p sin embargo q
148. p no obstante q
149. p a pesar de q
151. o p o q o ambas cosas
152. al menos p o q
153. como mnimo p o q
155. si p entonces q
156. p slo si q
157. q si p
158. q es necesario para p
159. p es suficiente para q
160. no p a menos que q
161. no p o q
163. p si y slo si q
164. p es necesario y
suficiente para q
165. q es necesario y
suficiente para p
Formalizacin
150. p q
154. p v q
162. p q
166. p q
167. o
168. (p q) (q
p)
169.
170.
171.
172.
173.
Prioridad
176. 1. Signos de
agrupacin
179.
2. La negacin
182. 3. La conjuncin, la
disyuncin inclusiva y
exclusiva
185.
4. Condicional y
bicondicional
174.
Smbol
os
177. ( ) [ ]
175.
180. ~p
184.
183. V, , V
186.
Explicacin
187.
188.
189.
190.Para la siguiente frmula: (p ~ (q r)) s
191. Se resuelve primero el parntesis ms interno (q r)( Prioridad 1)
192. Luego negamos el resultado de (q r) (Prioridad 2)
193. Despus usamos el conectivo con p y el resultado anterior (Proridad 3)
194. Finalmente el resultado obtenido se resuelve con el condicional
195.
196.
197.
198.
199.
200.
(p ~ (q r)) s
1
2
3
4
201.
202.
203.
204.
1. (p (p r)) v (q t)
205.
2. p ((q r) p v r)
206.
3. p (qr)
207.
208.
3.3. VALORES DE VERDAD DE LOS OPERADORES LGICOS
209.
210.
Dada la importancia de los conectivos sealados anteriormente, es pertinente establecer los valores de verdad (v
f) de cada proposicin compuesta (molecular o resultante) para cada conectivo. A tal efecto, se utiliza la Tabla de
Verdad, la cual se construye partiendo de la valoracin de cada una de las proposiciones componentes (atmicas).
211.
212.
a) Negacin
213.
Es til para estas lecturas, tener en cuenta que el signo utilizado para negar una proposicin es variable segn el
autor. Presentamos a continuacin algunos signos utilizados para negar una proposicin.
214.
215.
Ejemplo:
216.
p: Luis habla ingls
217.
~p: No es cierto que Luis habla ingls
218.
219.
Por lo que nos resulta sencillo construir su tabla de verdad:
220.
221.222.
p
p
226. Si p es V
224.225.
V
F
(verdadera entonces,
la negacin le
corresponde el valor
de F falsa)
229. Si p es F
227.228.
F
V
entonces, la negacin
le corresponde el
valor de V
230.
231.
Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su
negacin.
232.
233.
b) Conjuncin
234.
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin p q (se lee "
p y q "), que establece que la conjuncin es verdadera slo si las dos proposiciones componentes son verdaderas.
Cuando una de ellas no se cumple, es decir, es falsa, la proposicin resultante es falsa. A continuacin presentamos
la tabla de verdad de la conjuncin p q:
235.
236.
237. 238. 239.
240.
p
q
p q
241. Si las dos son
242. 243. 244.
245. La conjuncin es
verdaderas
V
V
V
verdadera
248. 249. 250.
V
F
F
246. Si por lo menos
253. 254. 255.
251. La conjuncin es
una
F
V
F
falsa
247. de ellas es falsa
258. 259. 260.
F
F
F
262.
Ejemplo:
263.
Ejemplo: Sea la proposicin molecular: La fresa es una fruta y 3 es un nmero par.
264.
265.
Esta conjuncin es falsa, pues:
266.
p: La fresa es una fruta, es verdadera, mientras que
267.
q: 3 es un nmero par, es falsa.
268.
Por tanto, esta proposicin p q es falsa, ya que ambas proposiciones no pueden ser simultneamente
verdaderas.
269.
270.
271.
c) Disyuncin Inclusiva:
272.
Dadas dos proposiciones p y q, se denomina disyuncin inclusiva de estas proposiciones a la proposicin p v q
(se lee " p o q "), que establece que la disyuncin inclusiva es verdadera si al menos una de las dos proposiciones
componentes es verdadera. Cuando todas ellas son falsas, la proposicin resultante es falsa.
273.
274.
A continuacin presentamos la tabla de verdad de la disyuncin inclusiva p v q:
275.
276.
277.
281.
278. 279. 280.
p
q
pvq
284. 285. 286.
V
V
V
282. Si por lo menos
una
289. 290. 291.
287. La disyuncin es
283. de ellas es
V
F
V
verdadera
verdadera
294. 295. 296.
F
V
V
298. Si las dos son
299. 300. 301.
302. La disyuncin es
falsas
F
F
F
falsa
303.
304.
305.
Ejemplo 1: Sea la proposicin molecular: El cielo es azul o el Centro Banaven lo llaman El Cubo Negro.
306.
307.
Esta disyuncin es verdadera, pues:
308.
p: El cielo es azul, es verdadera y
309.
q: Centro Banaven lo llaman El Cubo Negro es verdadera, por tanto, esta proposicin p v q es verdadera, ya que
ambas proposiciones son simultneamente verdaderas.
310.
311.
Ejemplo 2: Sea la proposicin molecular: El nmero uno, es el elemento neutro de la suma o el nmero 44
es par.
312.
313.
Esta disyuncin es verdadera, pues:
314.
p: El nmero uno es el elemento neutro de la suma, es falsa y
315.
q: el nmero 44 es par es verdadera, por tanto, la proposicin p v q es verdadera, pues por lo menos una de ellas
es verdadera
316.
317.
Ejemplo 3: Sea la proposicin molecular: Los Carnavales se celebran en el mes de Diciembre o La navidad
es en el mes de Agosto.
318.
319.
Esta disyuncin es falsa, pues:
320.
p: Los Carnavales se celebran en el mes de Diciembre, es falsa y
321.
q: La Navidad es en el mes de Agosto, es falsa, por tanto, la proposicin p v q es falsa, ya que las dos
proposiciones son falsas.
322.
323.
324.
d) La disyuncin exclusiva
325.
Dadas dos proposiciones p y q, se denomina disyuncin exclusiva de estas proposiciones a la proposicin p q
326.
327.
Smbolo: , se lee: uno u otro: p q se lee: o p o q (no ambas)
328.
329.
La misma establece que la disyuncin exclusiva es verdadera si slo una de las dos proposiciones componentes
es verdadera. Cuando ambas proposiciones son verdaderas o ambas falsas, la proposicin resultante es falsa.
330.
A continuacin presentamos la tabla de verdad de la disyuncin exclusiva p q:
331.
332. 333. 334.
p
p
q
q
335. 336. 337.
F
V
V
338. 339. 340.
V
V
F
341. 342. 343.
V
F
V
347.
348.
Ejemplo 1: Sea la proposicin molecular: O el nmero uno es el elemento neutro de la multiplicacin o el
nmero 44 es par.
349.
Esta disyuncin exclusiva es falsa, pues:
350.
p: El nmero uno, es el elemento neutro de la multiplicacin, es verdadera y
351.
q: el nmero 44 es par es verdadera, por tanto, la proposicin p v q es falsa, ya que ambas proposiciones son
verdaderas y por definicin, slo una debe ser verdad.
352.
353.
Ejemplo 2: Sea la proposicin molecular: Los Carnavales se celebran en el primer trimestre del ao o La
navidad es en el mes de Agosto.
354.
355.
Esta disyuncin exclusiva es verdadera, pues:
356.
p: Los Carnavales se celebran en el primer trimestre del ao, es verdadera y
357.
q: La Navidad es en el mes de Agosto, es falsa, por tanto, la proposicin p v q es verdadera, pues una y slo una
de las dos proposiciones es verdadera.
358.
359.
360.
e) El Condicional o de implicacin
361.
El condicional de las proposiciones " p y q " es la proposicin p q (si p entonces q ) cuya tabla de verdad es:
362.
363. 364. 365.
p
p
q
q
366. 367. 368.
V
V
V
369. 370. 371.
F
V
F
372. 373. 374.
V
F
V
375. 376. 377.
V
F
F
378.
379.
Ejemplo 1. Si apruebas los parciales, entonces te presto el auto.
380.
381.
Tambin podra haberse expresado como: Si apruebas los parciales, te voy a prestar el auto, para la lgica, la
lectura habra sido la misma.
382.
383.
p: Apruebas los parciales.
384.
q: Te voy a prestar el auto.
385.
386.
La proposicin dada es: p q. Cundo ser verdadero el enunciado?
387.
388.
- Si apruebas los parciales y te los presto, el enunciado es verdadero.
389.
- Si los apruebas y no te lo presto, te habr mentido, el enunciado sera falso.
390.
391.
Qu pasa si no aprobaste? Ya sea que te los preste o no, no te habra mentido, pues nada dije respecto a lo
que pasara en caso de no aprobar.
392.
393.
El ejemplo describe los alcances de la implicacin.
394.
395.
La implicacin tambin puede leerse como q es condicin necesaria para p, pues si no pasa q, o sea no te
prest el auto, y yo no ment, es seguro que no aprobaste.
396.
Tambin puede interpretarse como p es condicin suficiente para q, pues si aprobs, debo prestarte el auto
para cumplir el enunciado.
397.
Los conceptos de condicin necesaria y suficiente aparecern con frecuencia en tus cursos de matemtica, este
es slo un primer acercamiento.
398.
399.
2. Si el tringulo es equiltero, entonces es issceles.
400.
401.
p: El tringulo es equiltero
402.
q: El tringulo es issceles.
403.
404.
Proposicin: p q,v(p q) = V
405.
406.
Observemos cmo interpretar en este ejemplo la condicin necesaria:
407.
408.
Si el tringulo no es issceles, no tiene dos lados iguales, por lo tanto, tampoco los tres, por lo que seguro no es
equiltero. Si q no se cumple, p no puede cumplirse, siendo verdadera la implicacin.
409.
410.
Analicemos ahora la condicin suficiente:
411.
412.
Basta que el tringulo sea equiltero, para que tenga dos lados iguales, por lo tanto es tambin issceles.
413.
414.
Ser equiltero es condicin suficiente para ser isosceles: p es condicin suficiente para q, mientras que ser
issceles es condicin necesaria para ser equiltero q es necesaria para p, pero no suficiente, pues puede ser
issceles pero no equiltero. Lo que podemos garantizar es que si la implicacin es verdadera: si no pasa q,
entonces, no pasa p.
415.
416.
f) El Bicondicional o doble implicacin
417.
418.
Sean P y Q dos proposiciones (atmicas o moleculares), entonces se puede indicar la proposicin bicondicional
de la siguiente manera: P Q Se lee P si solo si Q
419.
420.
Esto significa que P es verdadera si y solo si Q es tambin verdadera. O bien, P es falsa si y solo si Q tambin lo
es.
421.
422.
El s y slo si de las proposiciones p y q es la proposicin p q (se lee "p si y slo si q") cuya tabla de verdad
es:
423.
424. 425. 426.
p
p
q
q
427. 428. 429.
V
V
V
430. 431. 432.
F
V
F
433. 434. 435.
F
F
V
436. 437. 438.
V
F
F
439.
440.
Si y slo si o el bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad. El
bicondicional puede definirse como la conjuncin de una implicacin y su recproca.
441.
De este modo, la tabla de valores de verdad de p q puede obtenerse mediante la tabla de (p q) (q p),
como vemos:
442.
443.
Ejemplo 1: Mauricio es excelente estudiante si y solo si, tiene promedio de calificaciones entre 4.8 y 5.0
444.
Donde:
445.
P: Mauricio es excelente estudiante
446.
Q: Tiene promedio de calificaciones entre 4.8 y 5.0
447.
Por lo tanto, podemos decir que: La proposicin Bicondicional solamente es verdadera si tanto p como q, son
falsas o bien ambas verdaderas
448.
449.
450.
451.
A partir de este momento, se tienen algunas herramientas para lograr representar un enunciado con conectores
lgicos.
452.
453.
Ejemplo:
454.
Consideremos el siguiente enunciado Si no pago el recibo de la luz, entonces me cortarn la corriente elctrica,
y Si pago la luz, entonces me quedar sin dinero o tengo que pedir prestado, pero Si me quedo sin dinero y tengo
que pedir prestado, entonces no puedo pagar la deuda, si y slo si soy desorganizado
455.
456.
Donde:
457.
P: Pago la luz.
458.
Q: Me cortarn la corriente elctrica.
459.
R: Me quedar sin dinero.
460.
S: Tengo que pedir prestado.
461.
T: Puedo pagar la deuda.
462.
W: Soy desorganizado.
463. (
464.
465.
466.
P Q ) P ( R S ) ( R S) ( T ) W
467.
3.4. CONSTRUCCIN DE TABLAS DE VERDAD
468.
469.
Para la construccin de la tabla, la dividimos en dos partes. La parte izquierda la llamaremos margen y a la
derecha la llamaremos cuerpo.
470.
En el margen colocaremos los valores de verdad de las variables proposicionales que intervienen. El nmero de
dichas componentes determina la cantidad de posibles combinaciones de valores de verdad que aparecern en la
tabla. Este nmero total de combinaciones se calcula con la operacin 2, donde la base indica los nicos dos
valores que puede asumir una variable proposicional (V o F), y el exponente el nmero de variables proposicionales
que intervienen, ejemplo:
471.
472.
En la proposicin (~ p V q) ~ q , intervienen dos variables proposiciones (p y q), el nmero de
combinaciones para construir la tabla sera 2n = 22 = 4, por lo tanto el margen queda como lo muestra la tabla:
473.
474. 475. 476.
Posibi
p
q
lidades
477. 478.
479.
1
V
V
480. 481.
482.
2
V
F
483. 484.
485.
3
F
V
486. 487.
488.
4
F
F
489.
Margen
490.
491.
El cuerpo se va formando con las proposiciones parciales hasta llegar a la proposicin compuesta final, es decir,
se agregan tantas columnas como proposiciones atmicas se encuentren agrupadas (en parntesis), leyendo la
frmula de izquierda a derecha para iniciar el cuerpo de la tabla, y respetando las prioridades de los conectivos y
signos de agrupacin. Siguiendo el ejemplo anterior tenemos:
492.
Primero agregamos al cuerpo de la tabla la proposicin ~ p
493.
494. 495. 496.
p
q
p
497. 498. 499.
V
V
F
500. 501. 502.
V
F
F
503. 504. 505.
F
V
V
506. 507. 508.
F
F
V
509.
Luego agregamos al cuerpo de la tabla, (~ p V q)
510.
511. 512. 513.
~
p
q
pV
p
q
515. 516. 517. 518.
V
V
V
F
519. 520. 521. 522.
F
V
F
F
523. 524. 525. 526.
V
F
V
V
527. 528. 529. 530.
V
F
F
V
Agregamos ~ q
531. 532. 533.
~ 535.
p
q
p
V
q
p
q
536.
V
541.
V
546.
F
551.
F
556.
537.
V
542.
F
547.
V
552.
F
538.
F
543.
F
548.
V
553.
V
539.
V 540.
544.
F 545.
549.
V 550.
554.
V 555.
557.
558. 559. 560.
p
q
p
564.
V
570.
V
576.
F
582.
F
588.
589.
565.
V
571.
F
577.
V
583.
F
566.
F
572.
F
578.
V
584.
V
~ 562.
(~ p V
pV
q
q) ~ q
q
567.
V 568.
F
569.
F
573.
F 574.
575.
579.
V 580.
581.
585.
V 586.
587.
591.
592.
Solucin: Observe que la proposicin posee 3 componentes (p, q y r), por lo que tiene 8 combinaciones (23) y se
sigue el mismo procedimiento del ejemplo anterior para construir el margen y el cuerpo.
593.
594. 595. 596.
p 598.
r ~(p
p
q
r
(p
q)
q
q)
600. 601. 602. 603.
V 604.
F
605.
F
V
V
V
606. 607. 608. 609.
V 610.
F
611.
F
V
V
F
612. 613. 614. 615.
F 616.
V
617.
V
V
F
V
618. 619. 620. 621.
F 622.
V
623.
F
V
F
F
624. 625. 626. 627.
V 628.
F
629.
F
F
V
V
630. 631. 632. 633.
V 634.
F
635.
F
F
V
F
636. 637. 638. 639.
V 640.
F
641.
F
F
F
V
642. 643. 644. 645.
V 646.
F
647.
F
F
F
F
648.
Margen
Cuerpo
649.
650.
651.
Ejercicios. Construya la tabla de verdad para las siguientes proposiciones compuestas:
652.
1. ~[p (q r)]
653.
2. [~ p ~ q] [~ p (~ q ~p)]
654.
655.
656.
3.5. ALGUNOS EJERCICIOS Y SOLUCIONES
657.
658.
Ejercicios
659.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10. .
660.
661.
662.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10. ,
663.
664.
665.
Soluciones
666.
REFERENCIA BIBLIOGRAFICA
667.
668.
669.
670.
Custodio, Sergio (1986). Introduccin a la Lgica. Coleccin de textos, Vol. 15. USAC. Guatemala: Editorial
Universitaria
671.
Ferrater Mora, Jos (1998). Diccionario de Filosofa abreviado. 22 ed., Buenos Aires: Editorial Sudamericana
672.
Ortega, Esteban (1990). Lgica, Introduccin a la filosofa y a la ciencia. 2 impresin (1993). Mxico: Editorial
Diana
673.
674.
675.
Palacios, Alfredo y Palacios, Alberto (2006). El arte sano del pensar. 1 ed., Buenos Aires: LUMEN.
676.
677.
678.
Apelando a la Motivacin.
679.
http://nuevasbases.org/Bases/falacias/am.htm
680.
Cambiando de tema.
681.
http://nuevasbases.org/Bases/falacias/ct.htm
682.
Falacias.
683.
http://www.inicia.es/de/diego_reina/filosofia/logica/falacias.htm. Obtenido en (feb/2006)
684.
Falacias de distraccin.
685.
http://nuevasbases.org/Bases/falacias/fd.htm
686.
Falacias inductivas.
687.
http://nuevasbases.org/Bases/falacias/fi.htm
688.
Falacias Lgicas. (Traduccin de Jaime Wilson, de: Stephen's Guide to the Logical Fallacies. (feb/2006)
689.
http://www.arp-sapc.org/alojadas/falacias1.html
690.
692.
693.
695.
697.
699.
701.
703.
704.