LGICA I

Facultad de Filosofa y Letras, Semestre 2012-1

Universidad Nacional Autnoma de Mxico
Mtra. Natalia Luna Luna Noviembre 2011

GUA PARA LA PREPARACIN DEL 2 EXAMEN PARCIAL DE LGICA 1

PREGUNTAS EN RELACIN A LOS TEMAS CUBIERTOS EN EL CURSO
PARTE II (Segundo parcial)

3. La Estructura lgica de las proposiciones y argumentos.
3.5 Cules son las formas vlidas de argumentos que involucran negacin? |Modus
Tollens
3.6 Cules son las formas vlidas de argumentos que involucran conjuncin?
Conjuncin y Simplificacin
3.7 Cules son las formas vlidas de argumentos que involucran disyuncin?
Silogismo disyuntivo y adicin
3.8 Cul es la contrapuesta de un condicional? Bicondicional
3.9 Cules son las formas proposicionales vlidas de argumentos que tienen
condicionales ( )? 4
3.10 Cmo se llaman dichas frmulas? Silogismo hipottico, modus ponens, modus
tollens, dilema destructivo y constructivo
3.11 Cules son las falacias o formas invlidas de argumentos que se simbolizan
condicionales? Modus tollens
Las falacias formales
3.12 Si un argumento no es vlido en su forma proposicional, puede ser vlido con
una forma distinta (con la herramienta de una lgica distinta), por ejemplo clculo
cuantificacional? S
3.13 Todas las formas vlidas de argumento tienen forma predicativa? No
3.14 Cmo s si dos oraciones son consistentes una con la otra? Solo si las dos son
todas verdaderas

8. Deduccin Natural
La Deduccin Natural permite construir pruebas formales de la validez de los
argumentos de forma sintctica.
8.1 Memoriza las Reglas de deduccin natural de Inferencia [Ver Tabla Anexa]
8.2 Escribe la regla Exportacin |(P.Q) R| |(PQ) R
8.3 Escribe la regla Distribucin. |P .(QvR)| |(P .Q)v(P.R)| y |P v(Q.R)| |(P vQ).(PvR)|
8.3 Escribe la regla De Morgan. ~ (P . Q) (~P v~Q) y ~ (P v Q) (~P .~Q)
8.8 Aplica la regla Absorcin para obtener la conclusin de los siguientes
razonamientos:
A) 1. PS B) 1.{[~(T vS)] v (PT)} Q
P (S.P) ?
8.9 Construye una prueba formal de validez del argumento indicado utilizando las
reglas necesarias.

1) (AB) ------------------------------------------------------------- 1) (AB) . (C D) / (A.C) (B v D)
2) A v (C.D) ------------------------------------------------------ 2) AB sim 1
3) ~B . ~E / C v (PQ) ---------------------------------------3) A vB Imp 2
4) B Sim 3---------------------------------------------------------4) (-A vB) v C Ad 3
5) A MT 1,4 -------------------------5) (B vA) v C Conm 4
6) C .D SD 2,5 ---------------------------------------------------6) B (-A vC) Asc 5
7) C Sim 6,1 ----------------------------------------------------- 7) (A .C) vB Te Mor 6
8) C v (PQ) Ad 7 ---------------------------------------------- 8) (A. C) vB D.D 7
.-9) (A C) v (Bv D) Asc 8
-10) (A. C) (Bv D) Imp 9





1) (EF). (G H) /(E v G) (F. H) --------------------------- 1) [(X.Y).Z] A
-- .. 2) (ZA) (BC)
----------------------------------------------------------------------------- 3) B / XC



1) I vJ
2) ~(~K .L)
3) ~(I.~L) /~JK
4) Kv L Te M 2
5) Iv L Te M 3
6) K L Imp 4
7) I L Imp 5
8) L K Tau 6
9) I K SH 7, 2
10) I J Imp
11) J I Tran 10
12) J K SH 11, 9




8.10 Determina si el siguiente argumento es vlido y slido. Estipula la interpretacin
de tus variables:
A) Si los nios nacieran sabiendo leer y escribir, no se necesitaran primarias.
Desgraciadamente este no es el caso, por ello, no podemos eliminar la necesidad de
las primarias.
1. p -q
2. (p q)/ - -q el argumento es vlido
3. (p q) Te. Morgan 1
4. q MP 1,2
5. - -q DN 4
B) O bien el oxgeno del tubo se combin con el filamento para producir un xido, o
bien se evapor completamente. El oxgeno del tubo no se evapor totalmente. Por
tanto, el oxgeno del tubo se combin con el filamento para producir un xido.
1. pvq el argumento es vlido
2. q/ p SD

8.13 Aplica la regla de Teoremas de Morgan para probar la validez de cada uno de
los siguientes razonamientos:
A) 1. [~T v~ (PQ) ] B) 1. (P vT) Q
/ ~[T . (PQ)]







9. Falacias
9.1 Qu es una falacia? Son argumentos que persuaden y perecen ser vlidos pero
no lo son
9.2 Cul es la diferencia entre argumento invlido y falacia? En que el argumento
invalido sus premisas y conclusin son falsas y en la falacia aparenta ser vlido pero
no lo es
9.3 Cul es la diferencia entre falacia formal y falacia informal? Que la falacia formal
puede simbolizarse y puede verse por mtodos formales que es un argumento
incorrecto; la falacia informal no se puede simbolizar y suelen ser invlidos, adems
de que quieren convencer en base a sentimientos tratando de engaar al interlocutor
Elige la respuesta correcta a las siguientes preguntas
9.5 Vender drogas es malo y se castiga con la crcel. Es cierto que este hombre
vendi drogas en las calles, pero lo hizo para pagar las medicinas de su hijo con
cncer. Es por ello, que no podemos encarcelarlo. Qu tipo de falacia es sta?
a) Falacia de composicin.
b) Falacia de apelacin a la autoridad.
c) Falacia de apelacin a la fuerza.
d) Falacia de crculo vicioso.
e) Falacia de apelacin a los sentimientos.

9.6 Indiana Jones tiene mal gusto para vestirse. Todos los que no se visten como
Indiana Jones son buenos profesores. Algunos profesores ensean Historia. Diego
Garca es un profesor de Historia. Diego Garca se viste como Indiana Jones. Por
tanto, Diego Garca no es un buen profesor. Qu clase de argumento es ste?
a) Argumento vlido.
b) Falacia formal.
c) Argumento verdadero.
d) Argumento falso.
e) Argumento inductivo.

9.4 En qu grandes grupos se clasifican las falacias? Describe los grupos: