TALLER DE RAZONAMIENTO LGICO

Matemticas
Lic. Sigifredo Herrera Cruz email : sigifredoherreracruz@hotmail.com

Ten en cuenta PROPOSICIONES Y TABLAS DE VERDAD Las tablas de verdad son representaciones grficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposicin simple o compuesta. En general para "n" proposiciones, se pueden presentar 2n posibilidades. La caracterstica tabular de una frmula lgica es la columna de valores de verdad debajo del operador de mayor jerarqua. Esta columna puede presentar los siguientes casos: 1. Cuando todos los valores de verdad son verdaderos, el esquema es una TAUTOLOGA. 2. Cuando todos los valores de verdad son falsos, el esquema es una CONTRADICCIN. 3. Cuando algunos valores de verdad son verdaderos y otros falsos el esquema es una CONTINGENCIA. CLASIFICACIN DE LAS PROPOSICIONES Simples: bsicas o atmicas, son aquellas que llevan un slo sujeto y un slo predicado no tienen conjunciones entre los trminos que la integran, y no pueden descomponerse en otras: La Cualidad: las hace afirmativas o negativas. Afirmativas: el predicado expresa una seal del sujeto. El predicado forma parte de la comprensin del sujeto. Ej.: El cobre es metal (afirma una cualidad: metal) Negativas: El predicado no conviene al sujeto. La negacin afecta a la copula El da no es soleado (niega una cualidad) PROPIEDADES: La modalidad: es la manera con que la enunciacin expresa el grado de certeza que contiene. Asertrica: simplemente enuncia, es mera afirmacin, Indican Juicios de realidad. Ej.: Juan es mdico (slo expresa juicios de existencia) 5 es un nmero primo Apodctica: la afirmacin o negacin implica necesidad. , esto es, enuncian una relacin entre sujeto y predicado como forzosa, son verdaderas de modo necesario (en cualquier tiempo y lugar), Indican juicios de necesidad. Ej:. Los seres humanos son racionales 5 es mayor que 3

ALGUNAS EXPRESIONES NO SON PROPOSICIONES Las frases gramaticales: no afirman ni niegan nada: Ej: los perros hambrientos. Las ordenes: retrese!, cllese!, etc. Los deseos: cmo me gustara volar! Las interrogaciones: ser cierto que el cigarrillo produce cncer? Las exclamaciones: qu hambre tengo!

Operaciones logicas
variables p q Conjuncin Disyuncin dbil Disyuncin fuerte condicional condicional replicador

V V F F

V F V F

V F F F

V V V F

F V V F

V F V V

V V F V

variables

Bicondicional

Inalternador

Incompatibilizador

p V V F F

q V F V F

Negacin p

V F F V

F F F V

F V V V

F F V V

Problemtica: si seala la posibilidad de algo (hipottica) se refieren a probabilidades que se dan dentro de determinadas situaciones Indican juicios de Posibilidad. Ej.: es posible que salga el sol Sandra podra ser contadora. La Cantidad: Universales: cuando el sujeto se refiere a todos los de la clase que indica o est en toda su extensin; o el predicado se atribuye a toda la extensin del sujeto. (Llevan los trminos sincategoremticos. Todos, ninguno, nadie, etc.) Ej: Todo ser humano es racional Particulares: cuando el sujeto se refiere a parte del grupo o clase (llevan los trminos sincategoremticos: alguno (a), algo, cada, etc.) Ej: algunos hombres son filsofos, ciertos, unos, muchos, pocos.

TALLER DE RAZONAMIENTO LGICO

Matemticas
Lic. Sigifredo Herrera Cruz email : sigifredoherreracruz@hotmail.com

2. Compuestas: llamadas tambin moleculares, se constituyen a partir de las proposiciones simples, estn unidas por alguna conjuncin o algn conectivo lgico: El alma es espiritual y libre.

Clasificacin de Proposiciones Concepto de lenguaje El lenguaje en sentido estricto, es un sistema convencional de signos, es decir, un conjunto de sonidos y grafas con sentido, sujeto a una determinada articulacin interna. Sirve para: afirmar o negar (oraciones aseverativas o declarativas) Expresar deseos (oraciones desiderativas); Formular preguntas (oraciones interrogativas); expresar sorpresa o admiracin (oraciones exclamativas o admirativas) Indicar exhortacin, mandato o prohibicin (oraciones exhortativas o imperativas). Definicin: Es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Expresin verbal que afirma o niega algo. Secuencia finita de signos con significado y sentido de ser calificado como verdadero o falso. Expresin lingstica susceptible de ser calificada de verdadera o falsa. hace referencia explicita a las oraciones aseverativas o enunciativas. Ej. El sol es agradable en primavera. Dolly fue la primera oveja clonada. El tomo es una molcula. Algunas expresiones no son proposiciones Las frases gramaticales: no afirman ni niegan nada: Ej: los perros hambrientos. Las ordenes: retrese!, cllese!, etc. Los deseos: cmo me gustara volar! Las interrogaciones: ser cierto que el cigarrillo produce cncer? Las exclamaciones: qu hambre tengo! Debemos honrar a nuestros hroes. Por Jpiter! Casi me saco la lotera! Valentn es bueno El triangulo es inteligente X+3=5 A es la capital del Per. El cuadriltero es un polgono de cuatro lados. Qu es la lgica? Sea en hora buena

CLASIFICACIN DE PROPOSICIONES 1. Simples: bsicas o atmicas, son aquellas que llevan un slo sujeto y un slo predicado no tienen conjunciones entre los trminos que la integran, y no pueden descomponerse en otras: El hombre es racional. 2. Predicativas: son aquellas que atribuyen o afirman una cualidad o circunstancia de un objeto o sujeto. 3. Poseen una estructura similar a la oracin ya que presenta un sujeto, una copula y un predicado. Ej. Alan Garca es el presidente del Per. S P Relacionales: son aquellas que establecen una relacin o enlace entre 2 sujetos u objetos. Presentan un predicado posicional, es decir requiere de dos o ms individuos para darle sentido a la proposicin. Ej.: Chiclayo est al norte de Lima (Relacin de ubicacin) A r B

4. 5. 6.

7. 8.

TALLER DE RAZONAMIENTO LGICO

Matemticas
Lic. Sigifredo Herrera Cruz email : sigifredoherreracruz@hotmail.com