Cuestionario de IPC Captulo 2 del Manual de Asti Vera Ambrossini

1. Completar los puntos suspensivos con lo que corresponda: a. Los lenguajes naturales poseen cuatro tipos diferentes de . Como ser los de tipo interrogativo, ., expresivo y .. b. La lgica se ocupar de los enunciados .. pues slo a ellos podemos asignarle un valor de Cul de los siguientes enunciados es declarativo? a. Abre la ventana que tengo calor b. Sabr deformar las horas con el aliento de los antiguos dioses c. En dnde qued tu abrigo? d. Carla ha abierto la ventana Haremos de cuenta que enunciado y proposicin son sinnimos. Sealar cules de las siguientes proposiciones son atmicas (marcas con A) y cules son moleculares (marcar con M): a. No tengo fro b. La computadora trabaja ms rpido que el hombre en este mundo postmoderno c. Marcela lo dijo o lo dijo Gabriel d. Celebrar la luz que la revolucin nos trajo no significa olvidar su precio e. Cantaremos hoy que necesitamos alegrarnos mucho f. Leer este libro si y slo si tiene imgenes g. Ladridos llegan, por ende, no hay de qu preocuparse, entonces, no hay de qu temer En lgica proposicional existen una serie de signos que representan a las llamadas conectivas. A continuacin, escriba al lado del nombre de la conectiva el signo que le corresponde y la letra o palabras que identifican a dicha conectiva: a. conectiva de negacin b. conectiva de la conjuncin c. conectiva de la disyuncin d. conectiva del condicional e. conectiva del bicondicional Siguiendo el modo en que lo hace la lgica proposicional, deber el alumno/a formalizar los siguientes enunciados o proposiciones: a. No soy de Racing b. c. d. e. f. g. h. i. Se llama Eduardo o Emilio Laura es abogada y Jos es arquitecto Si cantamos entonces estamos felices Tienes en tu vida muchos amigos o no los tienes y no eres una buena persona No iremos al cine al menos que llueva Celebrar la luz que la revolucin nos trajo no significa olvidar su precio No es cierto que si no tomamos caf ello implica que no es de da Tu no le hablaste, yo no le habl

2.

3.

4.

5.

j. k. l.

Si trabajara los fines de semana y durmiera menos entonces no estara en la pobreza Es falso que soy de River pero ir al monumental Ana es profesora o es estudiante pero no puede ser ambas cosas a la vez

m. Ana es riojana o es actriz pero puede ser ambas cosas a la vez 6. 7. Para Aristteles, fundador de la lgica, las leyes o principios lgicos eran afirmaciones por s mismas. Para los actuales estudiosos las leyes lgicas son llamadas .. palabra con la que se quiere significar que aquellas leyes no pueden ser falsas.

8. Para los estudiosos las leyes lgicas, tambin llamadas principios lgicos, son el punto de partida de un
sistema, es decir, son los .. de un sistema .. y en cuanto tales su verdad es . 9. Formalice con los elementos de la lgica proposicional las 3 leyes lgicas clsicas: a. Ley de identidad: b. Ley de no contradiccin: c. Ley del tercero excluido:

10. D un ejemplo concreto que ilustre la ley de identidad 11. D un ejemplo concreto que ilustre la ley de no contradiccin

12. D un ejemplo concreto que ilustre la ley del tercero excluido

13. Decimos que toda ley lgica es en cuanto tal una proposicin .

14. Toda tautologa es una .. y como tal es verdadera en virtud de su forma .

15. Toda tautologa es un proposicin lgicamente . por su forma lgica 16. Toda contradiccin es una forma proposicional lgicamente .. por su forma lgica, y lo es porque toda contradiccin implica la . de alguna ley lgica

17. Decimos que es una . toda negacin de una tautologa

18. Es la contingencia una forma proposicional lgicamente dado que el valor de verdad se desprende de la .. 19. Para determinar si un enunciado es una tautologa, una contradiccin o una contingencia nos servimos de un mtodo llamado . 20. Un razonamiento no es verdadero, ni falso, sino que es o 21. Un razonamiento se define como una unidad de .. constituido por un conjunto de .. que reciben el nombre de . y de 22. En qu consiste que un razonamiento sea vlido? 23. Cundo un razonamiento es invlido? 24. Qu es una regla lgica? 25. Qu reglas lgicas conoce? Formalcelas

26. Qu es una falacia? 27. Qu falacias lgicas conoce? Formalcelas 28. Explique en qu consiste el argumento por analoga 29. El argumento por analoga es un argumento de naturaleza deductiva? 30. Explique en qu consiste la induccin 31. Explique en qu consiste la deduccin 32. Cmo definira al mtodo cientfico llamado inductivismo estrecho o ingenuo? 33. Carnap se opondr al inductivismo estrecho o ingenuo. Qu propondr para superarlo? 34. En su propuesta metodolgica Carnap partir de una . y de una para determinar por procedimientos mecnicos la . tambin llamada grado de . de la ... a partir de la ..

35. Popper cuestion el mtodo de Carnap, pues sostuvo que est equivocado quien intenta justificar una
. mediante el grado de de una ... Para Popper la lgica no puede ser . Ni depender de una lgica. Para que una proposicin sea lgica debe contar con un grado de apoyo .

36. Sabemos que las tablas de verdad se aplican en lgica solamente a las proposiciones moleculares (simples y
complejas). Y sabemos que existen tablas de verdad para las conectivas de negacin, de conjuncin, de disyuncin, de condicional y de bicondicional. A continuacin, debe completar con verdadero o falso (segn corresponda) las casillas vacas de las siguientes tablas de verdad: Negacin p F Conjuncin q V F V F Disyuncin q V F V F Condicional q p F

p V F F

p q V

p V V F

p V V F F

V F V F

p V V F

Bicondicional q F V F

p <-> q V F

37. El primer paso, antes de resolver con tablas de verdad una proposicin molecular, consiste en organizar
jerrquicamente las conectivas que dicha proposicin tenga. Veamos el siguiente ejemplo: pqr
(A esta proposicin debemos organizarla utilizando parntesis, puesto que slo as estaremos en condiciones de aplicar sobre ella las tablas de verdad. A continuacin, mostraremos cmo se ponen los parntesis, empezando por la conectiva ms importante y finalizando con la menos importante)

( p) q r ( p) (q r)

(Primer parntesis para la negacin) (Segundo parntesis para la conjuncin)

1

(( p) (q r ))

(Tercer parntesis para el condicional)

a. A continuacin, deber aplicar tablas de verdad para resolver las siguientes proposiciones. Pero antes
deber organizar jerrquicamente las conectivas utilizando parntesis: Ejercicio 1: pq

pvq

Ejercicio 2: p v q p r

Ejercicio 3: p q v p q v p q <-> q p

Si en vez de una conjuncin hubiese habido una disyuncin, a ella tambin le correspondera el segundo parntesis.