CUESTIONARIO Y PROBLEMAS

Cuestionario 1.1 Despus de leer este captulo introductorio, Sabra decir

de que tratar la lgica? Dar una definicin.
Como piensa la gente o como debera de pensar, como razonar y como se llega a
la verdad de un problema, es un aspecto de relacin entre la lgica e informtica
es computar, ya q el objetivo de la informtica es computar es el uso de lenguajes.
La lgica utiliza tcnicas y nociones matemticas.
Cuestionario 1.2 Definir los siguientes conceptos: a) enunciados; b) argumento
analtico. Dar una clasificacin de los diferentes tipos de enunciados y argumento.
Enunciado.
Es una oracin que expresa un razonamiento en concreto.
Argumento.
Es una serie de enunciados con una conclusin y puede ser correcto o incorrecto.
Argumento Analtico.
Aqul q siempre ser verdadero.
Los Enunciados.
Se clasifican en enunciados, analticos, sinttico y falsos.
Problema 1.3 (38) Intente clasificar los siguientes enunciados en analticos,
sintticos (esto es verdadero pero no analtico) y falsos empleando la
caracterizacin de verdad lgica en trminos de posibilidad. De los enunciados
analticos indicar cuales son formalmente analticos y cules no. Disctase los
casos en los que la ambigedad o vaguedad parecen ser cruciales.
1. La poblacin de Madrid es mayor de 100,000 Habitantes.
Verdadera Analtico
2. Algunos concertistas de piano son franceses.
Verdadera Analtico
3. Todo perro negro es un perro.
Verdadera Analtico
4. Todo criminal sospechoso es criminal
Verdadera Analtico
5. Todo criminal sospecho es sospechoso.
Verdadera Analtico

6. Todos los cuervos son negros.

Verdadera Sinttico
7. Si don individuos son hermanos, son parientes.
Verdadera Sinttico
8. Si un hombre es ms alto que un segundo, entonces el segundo es ms
pequeo que el primero.
Verdadera Sinttico
9. Todo lo que sube tiene que bajar.
Verdadera Sinttico
10. Dos cuerpos no pueden estar en el mismo lugar al mismo tiempo.
Verdadera Sinttico
11. En castellano Inglaterra denota INGLATERRA
Verdadera Sinttico
12. Para todo entero positivo x,y,z: si x y entonces x+z y +z
Falso no se cumple.
Cuestin 1.4 Cundo un argumento es correcto? Cul es la relacin entre
argumento correcto y analiticidad?
Siempre que se cumpla que si las premisas son verdaderas, y la conclusin
tambin, la relacin que tienen es que sern verdaderas
Problema 1.5 Dado el argumento
Todo A es B;
Todo B es C;
Todo A es C.
Donde los smbolos A,B y C son variables que representan enunciados
cualesquiera. Es posible sustituir estas variables por enunciados concretos de
forma que obtengamos un argumento incorrecto? Raznese la respuesta.
No es posible sustituirlo por que por enunciados completos, sin afectar la validez
del argumento.
Cuestin 1.6 Ctense las diferentes partes en que se divide la lgica clsica? EN
que consiste cada una de estas partes?
Criterio de extencionalidad.
Las conectivas lgicas, son funcionales veritativas (completas)

Atemporalidad.
Los valores que se asignan a las letras, enunciativas a los valores y estructuras
que se asignan en las interpretaciones de la lgica de predicado, no cambian con
el tiempo.
Monotona.
La relacin de consecuencia lgica (ya sea semntica o sinttica) es monotona
es si ampliamos el conjunto de las premisas, el nmero de las conclusiones
deducibles a partir de ella no reduce.