Vous êtes sur la page 1sur 12

Tipos de proposiciones En adelante cuando hablemos de proposiciones, stas sern lgicas.

Si son abiertas, significar que el conjunto de sustituciones est bien definido y la harn verdadera o falsa. Para operar con las proposiciones, stas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como estn conformadas. Proposiciones Simples Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre oraciones. Proposiciones Compuestas Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos de enlace entre oraciones componentes. Ejemplos Ensayemos una lista clasificada y luego algunas aclaraciones: 1) Carlos Fuentes es un escritor. 2) Sen(x) no es un nmero mayor que 1. 3) El 14 y el 7 son factores del 42. 4) El 14 es factor del 42 y el 7 tambin es factor del 42. 5) El 2 o el 3 son divisores de 48. 6) El 2 es divisor de 48 o el 3 es divisor de 48. 7) Si x es nmero primo, entonces x impar. 8) Si x > 10, entonces 2x - 3 > 16. 9) No todos los nmeros primos son impares. (Simple) (Compuesta) (Simple) (Compuesta) (Simple) (Compuesta) (Compuesta) (Compuesta) (Compuesta)

Algunas aclaraciones a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo, operativamente se consideran distintos. Similarmente 5) y 6). b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10.

Proposicin lgica y valores de verdad


El valor de verdad de una proposicin lgica atmica es, por definicin, verdadero o falso (podemos representarlo como V o F). As el enunciado llueve es verdadero si y slo si est lloviendo en ese momento. Pero si dicho enunciado se considera como proposicin lgica atmica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definicin de proposicin lgica.

El contenido de la relacin de un enunciado con lo real no es objeto de la lgica sino de otras ciencias. [editar]Verdad de hecho o contingente, contradiccin y tautologa El valor de verdad de una proposicin molecular puede ofrecer los siguientes casos:  Que su valor dependa del valor de verdad de las proposiciones que la integran, segn las conexiones lgicas que las unen. En ese caso dicha proposicin tiene un valor deVerdad de hecho o contingente. Puede ser unas veces verdadera y otras veces falsa segn la verdad o falsedad de cada una de las proposiciones atmicas que la integran. El valor lgico V (verdad) de la proposicin llueve y hace calor, slo se dar en el caso de que las dos proposiciones llueve (p) y hace calor (q) sean tomadas en su valor de V; en los dems casos ser falsa. Sin embargo en la proposicin llueve o hace calor basta que una de las dos sea considerada en su valor de verdad V para que la proposicin molecular sea verdadera. La funcin y conjuntiva y la funcin o disyuntiva se definen en tablas de verdad, como funciones de verdad, functores o conectivas. Las dos proposiciones moleculares enunciadas ms arriba pueden ser verdaderas o falsas segn sean los valores que tomemos en consideracin en cada una de las proposiciones que la integran. Por eso ambas son contingentes.  Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, como relaciones lgicas, siempre y necesariamente es falsa. Entonces esa proposicin es una contradiccin. El valor de verdad de la proposicin llueve y no llueve es una contradiccin y siempre ser falsa, con independencia del valor que consideremos V o F de llueve (p) y de no llueve (p). La funcin de verdad no se define mediante una tabla de verdad.  Que su valor de verdad no dependa del valor de verdad de las proposiciones que la forman, sino que, por la forma en que se establecen sus conexiones, siempre y necesariamente es verdadera. Entonces esa proposicin es una tautologa. El valor de verdad de la proposicin llueve o no llueve, es una tautologa y siempre ser verdadera con independencia de los valores que consideremos de llueve (p) o de no llueve (p).

El anlisis del valor de verdad de una proposicin se realiza mediante las tablas de verdad.
TABLA DE CONTENIDO Tabla de contenido2 Introduccin a la lgica3 Concepto de lgica4 Conectivos lgicos.5 Enunciado abierto..5 Enunciado cerrado.5 Concepto de proposicin.6 Clasificacin de proposicin...6 Clasificacin de proposicin compuesta.....6-7 Valor de verdad de las proposiciones.7-8 Tabla de verdad de la proposiciones8-9 Concepto de tautologa.9 Concepto de contradiccin10 Concepto de contingencia10 Ej. De tablas de verdad con 3 proposiciones.10-11 Los cuantificadores11 Cuantificador universal.12 Cuantificador existencial12 Razonamiento inductivo13 Razonamiento deductivo..14 Bibliografa.15 INTRODUCCION A LA LOGICA Es probable que en el siglo IV antes de la Era Comn, se iniciara con Aristteles el estudio de la Lgica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio de lo que hoy se conoce como Lgica Matemtica. Uno de los fines de la enseanza matemtica es disciplinar la inteligencia, de ah el valor formativo de esta ciencia ya que necesita de exactitud y precisin en sus razonamientos. La inteligencia se disciplina a travs de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lgica es estudiar la validez de los razonamientos. La validez de la lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Por medio de un enunciado con sentido podemos emitir un juicio (actividad mental por medio de la cual pensamos algo) o un razonamiento (evaluacin mental por medio de la cual obtenemos conclusiones).

CONCEPTO DE LA LOGICA La lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Para su estudio, se divide en lgica formal, lgica aplicada y lgica simblica. Lgica formal: es la parte de la filosofa que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error. Lgica Aplicada: es la que estudia las formas o estructura del pensamiento adaptndose al objeto de estudio de las distintas ciencias. Lgica simblica: es la que estudia sistemticamente las proposiciones, los razonamientos y las demostraciones para lo cual utiliza un lenguaje constituido por smbolos convencionales que representan estructuras. La lgica simblica es aquella que se refiere a las proposiciones y que tambin se conoce con el nombre de Calculo Propocional. CONECTIVOS LOGICOS Los conectivos lgicos son aquellos que sirven para formar proposiciones compuestas. Simblicamente los conectivos se representan del modo siguiente:

Conectivo No Y O OO Si Entonces Si Solo Si

Nombre Lgico Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin o Condicional Doble Implicacin o Bicondicional
ENUNCIADOS ABIERTOS Y ENUNCIADOS CERRADOS

Smbolo ~ V V

Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo pensado en un juicio, ya sea en formal oral o escrita. Enunciados Abiertos o simples: son aquellos que tiene un nico valor de verdad. Es el que no tiene otro enunciado como parte componente. Ejemplo: Las rosas son rojas. Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado como componente. Ejemplo: Las rosas son rojas y las violetas son azules. CONCEPTO DE PROPOSICIONES Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez. CLASIFICACION DE LAS PROPOSICIONES Proposiciones simples o atmicas: son aquellas que constan de un solo enunciado. Proposiciones compuestas o moleculares: son las que constan de dos o ms proposiciones simples entrelazadas por ciertas particularidades lgicas llamadas conectivos lgicos. CLASIFICACION DE PROPOSICIONES COMPUESTAS La Negacin: la conectiva no es la que se antepone a una proposicin para cambiar su valor de verdad y se representa por el siguiente smbolo ~. La Conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo y, y se representa con el siguiente smbolo: . La Disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por el conectivo lgica o, que se representa de la manera siguiente: V. La Disyuncin Exclusiva: es una proposicin compuesta por dos proposiciones simples entrelazas por el conectivo oo y se representa as: V.

La Condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva sientonces, que se representa de la forma siguiente: . La proposicin que aparece entre las palabrasSi y Entonces, se denomina antecedente o hiptesis y la que aparece despus de la palabra Entonces, se le llama consecuente o conclusin. La Bicondicional o Doble Implicacin: es una proposicin que se obtiene al unir dos proposiciones simples mediante el conectivo si y solo si y se representa as: VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS La Negacin: si una proposicin (sea simple o compuesta) es verdadera, su negacin es falsa y viceversa. Ejemplo: si P es: Constanza es un municipio de la Vega, ~ P se leer: no es cierto que Constanza es un municipio de la Vega. La Conjuncin: esta proposicin solo es verdadera cuando las dos proposiciones que la forman son verdaderas, y en los dems casos ser falsa. La Disyuncin Inclusiva: esta proposicin es falsa nicamente cuando las dos proposiciones que la forman son falsa, en caso contrario es verdadera. La Disyuncin Exclusiva: esta solo ser verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad, en caso contrario es falsa. La Condicional o Implicacin: una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en lo dems casos la condicional es verdadera. La Bicondicional o Doble Implicacin: esta solo es verdadera cuando las dos proposiciones que la forman tiene el mismo valor de verdad, es decir, cuando las dos proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa. TABLA DE VERDAD DE LAS PROPOSICIONES COMPUESTAS Negacin:

p V F

~p F V

Conjuncin:

p V V F F
Disyuncin Inclusiva:

q V F V F

pq V F F F

p V V F F
Disyuncin Exclusiva:

q V F V F

pvq V V V F

p V V F F

q V F V F

pvq F V V F

Condicional o Implicacin:

p V V F F

q V F V F

p V F V V

Bicondicional o Doble Implicacin:

p V V F F

q V F V F

pq V F F V
CONCEPTO DE TAUTOLOGIA

Una proposicin compuesta es lgicamente verdadera o tautolgica cuando es verdadera siempre, independientemente de los valores de verdad de las proposiciones simples que la forman. Ejemplo:

p V V F F

q V F V F

pvq V V V F

( p v q) V V V V

CONCEPTO DE CONTRADICCION La contradiccin: es una proposicin compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen. Ejemplo:

p V F

~p F V

pq F F
CONCEPTO DE CONTINGENCIA

La contingencia: es la combinacin de la tautologa y la contradiccin. Ejemplo:

p V V F F

q V F V F

p V F V V

EJEMPLOS DE TABLAS DE VERDAD CON TRES PROPOSICIONES 1)

p V V V V F F F F
2)

q V V F F V V F F

r V F V F V F V F

pvq V V V V V V F F

(p v q) r V F V F V F F F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pq V V F F F F F F

(p q) V F V V V V V V

LOS CUANTIFICADORES Los cuantificadores son smbolos que se usan en matemticas para expresar determinadas condiciones. Entre ellos tenemos el cuantificador universal y cuantificador existencial. El papel de los cuantificadores es importante ya que un enunciado abierto precedido de un cuantificador se convierte en una proposicin falsa o verdadera. Ejemplo: As x + 2 = 4 es un enunciado abierto mientras que

x R/x + 2 = 4 es una proposicin verdadera. Cuantificador Universal: se simboliza (que se lee:para todo, toda, todos todas), el smbolo viene de la palabra alemana Allzeicher que significa totalidad. El cuantificador universal indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompaa. Ejemplo: x; p(x): para todo x; p(x) Sea p(x): x es una estudiante del 2do. ao del bachillerato del centro de estudios Gregorio Lupern, x B, B = {Jennifer, Wendy, Petronila, Pedro}. Todos los elementos de B son estudiante de l 2do. ao del bachillerato del centro de estudios Gregorio Lupern. Si anteponemos el cuantificador indica que en cada caso que x sea sustituido por uno de los nombres de B, entonces tiene que verificarse que sea un estudiante del centro de estudios Gregorio Lupern, entonces la expresin x; p(x) es verdadera. Cuantificador Existencial: se simboliza y se lee: algunos, existen, e indica que todas las funciones proposicionales que se escribes a su derecha se verifica para por lo menos un valor considero para la variable o variables de la funcin proposicional. Ejemplo: x; p(x); para algunos x; P(x) Sea p(x): x es un estudiante del 2do. ao del bachillerato del educativo Gregorio Lupern, x C, C = {Jenifer, Pedro, Ariel, Ral}. Pedro y Jenifer son estudiantes de 2do. ao del bachillerato. Ariel es un estudiante de 3er. ao del bachillerato. Ral es un estudiante de 4to. ao del bachillerato. x; p(x) es verdadera porque se verifica para algunos valores de los que la variable x puede tomar. RAZONAMIENTO INDUCTIVO Y DEDUCTIVO El razonamiento es el proceso de obtener conclusiones a partir de suposiciones o hechos. El razonamiento correcto es aquel en que las conclusiones se siguen necesariamente o inevitablemente de las suposiciones o hechos. Razonamiento Inductivo: proviene del latn inductio que quiere decir conducir, llevar a, introducir. El mtodo inductivo es el que se vale de la observacin de casos particulares para llegar a una conclusin general. Este parte de lo particular a lo general, de lo sencillo a lo completo, de lo fcil a lo difcil. Ejemplos:

y Juan es nio y juega, Mara es nia y juega, Todos los nios juegan. y La manzana es una fruta y es saludable, El mango es una fruta y es saludable, Las frutas son saludables. y El oro es un metal y brilla, La plata es metal y brilla, Todos los metales brillan. y El gato es un animal y respira, La paloma es un animal y respira, Todos los animales respiran.

y Rosa es dominicana y orgullosa, Hctor es dominicano y orgulloso, Todos los dominicanos son orgullosos. Razonamiento deductivo: proviene del latn deductio que significa sacar o separa consecuencias de algo. El mtodo deductivo es aquel que parte de los datos generales aceptados como validos, para llegar a una conclusin de tipo particular. Ejemplos: y Todos los nios juegan, Mara es una nia, Entonces Mara juega. y Las frutas son saludables, La manzana es una fruta, La manzana es saludable. C) Todos los metales brillan, La plata es metal, La plata brilla. D) Todos los animales respiran, El gato es un animal, El gato respira y Todos los dominicanos son orgullosos, Hctor es dominicano, Hctor es orgulloso.

espero mejor respuesta...ok? 1. el perro corre en el parque 2. la nia juega con los juguetes 3.mi hermana brinca la cuerda 4.en la tienda venden dulces 5.los nios cantan en la iglesia 6.mi mama barre la calle 7.el maestro explica la clase 8.ana salta la barda de la escuela 9.en la tienda los empleados juegan cartas 10.los nios nadan en la alberca... los verbos son la accion de la oracion...lo que hacen.

Clasificacin de el enunciado
Los enunciados pueden ser, de acuerdo con la intencin del que habla, declarativos: informan, "Afuera llueve";interrogativos: preguntan (se escribe entre signos de interrogacin), "A dnde te diriges?"; imperativos: ordenan algo, "Qudate quieto"; exclamativos: expresan emociones y estados de nimo (se escribe entre signos de admiracin), No puedo creer que sea cierto!; dubitativos: expresan duda, "Tal vez nos veamos maana"; y desiderativos: expresan deseos, "Ojal recuerde escribirme". De acuerdo en su estructura los enunciados se clasifican en UNIMEMBRES Y BIMEMBRES. Los UNIMEMBRES estn formados por un solo miembro o elemento; carecen de sujeto y predicado, y no llevan verbo conjugado. Ejemplo: El novio de mi hija. los BIMEMBRES estn formados por: sujeto y predicado, y en su estructura tienen un verbo conjugado. Ejemplo: El novio de mi hija le trajo un ramo de flores.

Enunciado
En pragmtica, un enunciado es un acto de habla (acto locutivo) mnimo, normalmente realizado mediante una oracin o una expresin sintctica ms pequea que una oracin. Informalmente se usa enunciado como sinnimo de oracin, aunque pragmticamente existen diferencias. Por ejemplo una misma oracin dicha en diferentes contextos corresponde a enunciados diferentes. Y viceversa diferentes oraciones pueden realizar un mismo enunciado: Quiero que saques la basura. Puedes sacar la basura? Saca la basura, por favor.

Quieres sacar la basura? Todas estas oraciones en esencia tienen la misma interpretacin y por tanto pueden considerarse esencialmente realizaciones del mismo enunciado pragmtico. (Ver Oracin, enunciado y proposicin). En lgica, a veces se entiende por enunciado una oracin que puede ser verdadera o falsa, como "est lloviendo", "hace fro" o "Venus es un planeta". En este sentido, los argumentoslgicos se componen de enunciados: las premisas y la conclusin.
Contenido
[ocultar]

1 Enunciado en pragmtica

o o

1.1 Realizacin de un enunciado 1.2 Delimitacin de los enunciados

2 Vase tambin

[editar]Enunciado

en pragmtica

Un enunciado en sentido estricto, es una unidad pragmtica, que usualmente expresa el contenido de una proposicin, mandato, deseo o creencia. En sentido estricto debe diferenciarse de una oracin concreta, aunque en ciertos contextos cuando no existe riesgo de confusin entre el enunciado y la oracin que lo expresa se usan indistintamente. El enunciado no es una unidad convencional, sino real, delimitada con precisin por el cambio de sujetos discursivos, y que termina con el hecho de ceder la palabra al otro. Expresin lingstica de un juicio, una orden, un consejo o una duda, entre otras posibilidades. Suele identificarse con una proposicin, aunque, el enunciado designa el hecho de expresar una determinada proposicin.

[editar]Realizacin

de un enunciado

Las oraciones, las exclamaciones y otras expresiones lingsticas son realizaciones de un enunciado. Es decir, el enunciado es lo expresado mediante una forma lingstica en un determinado contexto lingstico. La misma forma lingstica en diferentes contextos puede tener interpretaciones diferentes, por ejemplo, una oracin puede tener un sentido irnico y expresar justamente lo

contrario de lo que literalmente dice. Por tanto, la misma oracin, segn se use literalmente o irnicamente puede representar, enunciados diferentes.

[editar]Delimitacin

de los enunciados

La frontera de cada enunciado como unidad de la comunicacin discursiva se determina por el cambio de los sujetos discursivos, es decir, por la alternacion de los hablantes. Todo enunciado, desde una breve rplica del dilogo cotidiano hasta una novela grande o un tratado cientfico, posee por decirlo as, un principio absoluto y un final absoluto. Antes del comienzo estn los enunciados de otros interlocutores, despus del final entan los enunciados respuesta de, otros (o siquiera una comprensin silenciosa y activa del otro, o, finalmente, una accin respuesta basada en tal tipo de comprensin). Un hablante termina su enunciado para ceder la palabra si otro, ser interrumpido o para dar lugar a su comprensin activa como respuesta. El enunciado no es una unidad convencional sino real, delimitada con precisin por el cambio de los sujetos discursivos, y que termina con el hecho de dejar de tener el turno palabra.