Sie sind auf Seite 1von 4

TIPOS DE PROPOSICIONES

Ahora que ya sabemos simbolizar proposiciones simples, el trabajar con proposiciones compuestas resulta mucho ms fcil. Pero tambin se pueden utilizar smbolos para los mismos trminos de enlace. Se considerar cada trmino de enlace por separado y se le asignar un smbolo. Tambin se dar un nombre a la proposicin compuesta que se forme utilizando cada uno de los trminos de enlace. Estos trminos de enlace son tan importantes que se estudiarn por separado en las secciones siguientes, revisando algunas de las cuestiones ya analizadas.

Conjuncin << y >>


La unin de dos proposiciones con la palabra y, se denomina conjuncin de las dos proposiciones. Un ejemplo de una conjuncin es esta proposicin: Sus ojos son azules y los ojos de su hermano tambin son azules. Sea p la proposicin simple Sus ojos son azules y sea q la proposicin simple Los ojos de su hermano tambin son azules. Entonces, de acuerdo a la simbolizacin vista en el archivo Simbolizacin de proposiciones se puede representar la proposicin compuesta, que es una conjuncin, por (p) y (q). Una conjuncin es un tipo de proposicin compuesta. La proposicin compuesta es la conjuncin de la proposicin simple p y la proposicin simple q. Es tambin til introducir un smbolo para << y >>, el cual ser Utilizando este smbolo, se puede escribir la conjuncin de dos proposiciones p y q de la forma: pq p q: Sus ojos son azules y los ojos de su hermano tambin son azules.

RECUERDA

El smbolo sustituye al trmino de enlace completo << y >>

Los valores de verdad de proposiciones como las conjunciones pueden describirse mediante tablas de verdad. La tabla de valores de verdad, tambin conocida como tabla de verdad se emplea en lgica para determinar los posibles valores de verdad de una expresin o proposicin. Indicando con V si el valor es VERDADERO y F si es FALSO, de modo que para cada una de estas combinaciones se indica el valor de verdad. El valor de verdad de la proposicin compuesta p q queda definido mediante la tabla de verdad p V V F F q V F V F pq V F F F

Observa que en la tabla de verdad aparecen las cuatro combinaciones posibles de las asignaciones de verdad para p y q De acuerdo a la tabla, se establece que la conjuncin p q es verdadera si p y q son ambas verdaderas, en cualquier otro caso, la proposicin p q es falsa Por ejemplo: Si p: 1+1=3 q: un decenio tiene 10 aos Entonces de acuerdo a estas afirmaciones, la proposicin p es FALSA, ya que 1+1=2 y no 3, y la proposicin simple q es VERDADERA, ya que un decenio esta compuesto por 10 aos. Generando la conjuncin de estas dos proposiciones simples, tenemos: p q: 1+1=3 y un decenio tiene 10 aos Considerando la tabla de verdad, esta es una conjuncin FALSA. Ya que para que la conjuncin sea verdadera, es necesario que los valores de ambas proposiciones simples sean VERDADEROS.

Disyuncin << o >>


La unin de dos proposiciones por medio de la palabra o se denomina disyuncin de las dos proposiciones. Por ejemplo: sta es el aula cuatro o es un aula de Fsica, Es la disyuncin de dos proposiciones. Una disyuncin es una proposicin compuesta formada por el trmino de enlace o. La proposicin antes escrita puede parecer un poco rara. Probablemente esto es debido a que en el lenguaje corriente se incluye la palabra o inicial junto con la palabra o central. Por ejemplo, se podra leer la proposicin compuesta considerada en la forma: O sta es el aula cuatro o es un aula de Fsica. En ambos casos, las dos proposiciones simples son las mismas; primero, la proposicin sta es el aula cuatro, y segundo sta es una aula de Fsica. Es decir, no debe incurrirse en el error de incluir la o inicial como parte de la primera proposicin. Se trata de una parte del trmino de enlace. El smbolo que utilizaremos para la disyuncin es: V En el ejemplo precedente, si p es la proposicin sta es el aula cuatro y q es la proposicin sta es una aula de Fsica, entonces la disyuncin queda completamente simbolizada por: pVq Leeremos esta proposicin diciendo (p) o (q), y algunas veces tambin o (p) o (q). El smbolo V representa el trmino de enlace completo, tanto si en la lectura o escritura de la proposicin se emplea slo o o bien o..., o....

RECUERDA

El smbolo V sustituye al trmino de enlace completo << o >>

El valor de verdad de la disyuncin p V q se define mediante la siguiente tabla de verdad p V V F F q V F V F pVq V V V F

El << o >> en la disyuncin p V q es verdadera si p o q o ambas son verdaderas, y p V q es falsa si p y q son falsas. Por ejemplo: Si p: 1+1=3 q: un decenio tiene 10 aos Entonces p es falsa, q es verdadera y la disyuncin p V q: 1+1=3 o un decenio tiene 10 aos De acuerdo a la tabla de verdad, es verdadera

Das könnte Ihnen auch gefallen