OPERACIONES PROPOSICIONALES Y TABLAS DE VERDAD

1.
En que consiste las operaciones entre proposiciones? Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o ms proposiciones, de las que se conoce los valores veritativos, se trata de caracterizar la proposicin resultante a travs de su valor de verdad.

2.

Qu es el negador? Cmo se simboliza?

El Negador:

Definicin: El negador, es una operacin que afecta a una proposicin cambindole su valor de verdad. Dado una proposicin p la negacin de p es otra proposicin que se denota por ~ p y se lee: no p o no es cierto p. La negacin (no), cumple funcin de negar una afirmacin y de afirmar una negacin. Utiliza el adverbio no. Se presenta en dos formas diferentes:

Negador Externo: No es cierto que, es mentira que, es objetable que , son de carcter mas fuerte que los negadores internos; generalmente se encuentran adelante de la proposicin, es por ello que su representacin queda indicada explcitamente fuera de un parntesis. ~ (A)

Negador Interno: No, nunca, jams se le caracteriza fundamentalmente por su carcter dbil, solo afecta a la proposicin simple mas cercana. Puede ser el verbo o como prefijo. ~A

Nota: Si un trmino es antecedido por un prefijo de sentido negativo, este se le considera un negador interno. Ejemplo: Pablo es una persona desleal. ~ p Carlos Manrique es un empresario inmoral. ~ q

Las expresiones lingsticas de doble negacin (inobjetable, innegable, no es inconcebible) se formaliza como tal.

Ejemplo: Carmen inobjetablemente es profesora. ~ ~ p No es mentira que Constantino fuese Emperador Romano. ~ ~ q

Se simboliza: - A, A,~ A, A, A

3.

Escribe algunas formas de traduccin del negador. Traducciones del Negador:

No A, nunca A, jams A. (*) Es incompatible que A. Es inconcebible que A. Es incorrecto que A. No ocurre que A. No es verdad que A. No es el caso que A. No acaece que A. Es mentira que A. Es inadmisible que A. De ninguna forma se da A. En forma alguna A. Carece de todo sentido A. De ningn modo A.

En modo alguno A. (*) Negador Interno

Es incierto que A. Nadie que sea A. Es objetable que A. Es absurdo que A. Es falso que A. Es refutable que A. Es falaz que A. Es imposible que A. Decir que A es una farsa. Es sofisma que A. Es contradictorio que A.

4.

Cul es la tabla de verdad de la negacin? Escribe un ejemplo:

La tabla de verdad de la negacin se elabora cambiando los valores de verdad de la proposicin negada tal es el caso del Verdadero que se convierte en Falso y el Falso que se convierte en Verdadero.

Ejemplo:

p: Javier es estudioso. q: Luis es responsable.

~p: Javier no es estudioso. ~q: Luis es irresponsable.

p V V F F

q V F V F

~p F F V V

~q F V F V

p 1 1 0 0

q 1 0 1 0

~p 0 0 1 1

~q 0 1 0 1

5.

Qu es el conjuntor? Cmo se simboliza? El Conjuntor ( ):

Definicin: El conjuntor tambin se le llama Compatibilizador porque une a las proposiciones en un mismo contexto; es decir ambas proposiciones se cumplen simultneamente. Dadas dos proposiciones p y q, la conjuncin es el resultado de reunir

estas proposiciones con el conectivo lgico y. Se denota p q y se lee:p y q. La proposicin p puede ser verdadero o falso, e igual puede suceder con q. por lo tanto hay cuatro pares posibles de valores de verdad para esta conjuncin y deseamos saber si es o no verdadero o falso. La respuesta es directa: si p y q son ambos verdaderos, entonces p q es verdadero y en caso contrario p q seria falso. Esto parece razonable, puesto que la proposicin p q dice ni ms ni menos, tanto p como q son ambos verdaderos. Ejemplo: Per as como Ecuador son pases demcratas: p q

Tambin se considera conjunciones cundo exista punto y coma (;), o un punto seguido (.), o una coma (,), siempre que no haya otra expresin que este sealando otro conectivo. Ejemplo: El tomo posee neutrones, protones tambin electrones: p q r

Se simboliza: A B, A & B, A B, A.B, AB, A B

6.

Escribir algunas formas de traducciones verbales del conjuntor. Traducciones del Conjuntor:

A y B. A aunque B. A pero B. A sin embargo B. A incluso B. A es compatible con B. A as como B. A del mismo modo B. A an cuando B.

A tambin B. A de la misma forma que B. A al igual que B. Tanto A como B. Siempre ambos A con B. A no obstante B. No solo A sino tambin B. A as mismo B. A al igual que B.

A a pesar de B. A a la vez B. A ms B. A con B los dos a la vez.

A simultneamente B. A empero B. A vemos que tambin B.

7.

Elaborar la tabla de verdad de la operacin de la conjuncin. Escribe un ejemplo:

La tabla de verdad de la conjuncin:

p V V F F q V F V F pq V F F F

p 1 1 0 0

q 1 0 1 0

pq 1 0 0 0

Ejemplo: Per es un pas demcrata y Ecuador no es un pas demcrata : p ~q

p V V F F

q V F V F

p V V F F

F V F F

~q F V F V

p 1 1 0 0

q 1 0 1 0

p 1 1 0 0

0 1 0 0

~q 0 1 0 1

8.

Qu es el disyuntor dbil o incluyente? Cmo se simboliza? El disyuntor dbil o Incluyente ( ):

Definicin: El incluso se le reconoce porque el trmino nos sugiere aceptar una de las dos proposiciones. La proposicin es verdadera si alguna de las proposiciones que la forman es verdadera o ambas son verdaderas, se lee o. Sin embargo la posibilidad que una compatibilidad queda aceptada o admitida. La disyuncin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q con el conectivo lgico o. Aqu la aseveracin consiste en que uno o el otro de los enunciados es el verdadero. Claramente se ve que si un enunciado es verdadero y el otro falso, entonces la disyuncin es verdadera mientras que, si ambos son falsos, entonces la disyuncin es ciertamente falsa.

Ejemplo: Per y Ecuador se pondrn de acuerdo salvo que intervenga EEUU: p q

Maana estudiaremos Qumica o sino tambin estudiaremos Fsica : p q

Nota: Cuando aparece una disyuncin al lado de un conjuntor o viceversa, la formula lgica ser un Disyuntor Dbil. Ejemplo: Las aves poseen pico excepto que tambin alas: p q Los nmeros son reales y/o complejos: p q

Se simboliza: A B, A + B, A B

9.

Escribir algunas traducciones verbales del disyuntor dbil.

Traducciones del disyuntor Dbil:

(sentido

A o tambin B. A o en todo caso B. A o bien B. A a no ser que B. A o incluso B.

A y bien o tambin B. Al menos una de las dos A o B. A o sino B. A alternativamente B. A y/o B.

incluyente). A a menos que B. Amenos que A, B. A salvo que B. A excepto que B.

10. Elaborar la tabla de verdad de la disyuncin dbil o incluyente.

La tabla de verdad de la disyuncin incluyente:
p V V F F q V F V F pq V V V F

p 1 1 0 0

q 1 0 1 0

pq 1 1 1 0

Ejemplo: Mario es estudioso o irresponsable: p ~q

p V V F F

q V F V F

p V V F F

V V F V

~q F V F V

p 1 1 0 0

q 1 0 1 0

p 1 1 0 0

1 1 0 1

~q 0 1 0 1

11. Qu es el disyuntor fuerte o excluyente? Cmo se simboliza?

El disyuntor Fuerte o Excluyente ( ):

Definicin: Al exclusor o bidisyuntor se le identifica porque acepta una y solo una de las dos proposiciones, nunca ambas a la vez; es decir la compatibilidad queda excluida o descartada. Ejemplo: Eres campen o subcampen: p q O estudias o trabajas: p q

Nota: Algunos disyuntores incluyentes pueden venir acompaados de las palabras: slo, nicamente, solamente. Dando mayor fuerza al incluso transformndola en exclusor. Ejemplo: Este ao viajare al extranjero salvo que slo viaje a Lima: p q A menos que solamente seas Ingeniero, sers Matemtico: p q

Se simboliza: A B, A B, A B, A B, A B.

12. Escribir algunas traducciones verbales del disyuntor fuerte.

Traducciones del disyuntor Fuerte:

A o B (Sentido Excluyente). O bien A o bien B. O solo A o solo B. O A o B. A a menos que solamente B. A salvo que nicamente B. A excepto que slo B. A menos que slo A, B. A o bien necesariamente B.

A o exclusivamente B. A no es equivalente a B. A no es idntico a B. Salvo que A o B. A no es lo mismo que B. A o tan solo B. A es diferente a B. Ya sea A, ya sea B. No es equivalente A con B.

13. Elaborar la tabla de verdad de la disyuncin excluyente.

La tabla de verdad de la disyuncin excluyente:
p V V F F q V F V F pq F V V F

p 1 1 0 0

q 1 0 1 0

pq 0 1 1 0

Ejemplo: O no estudias o trabajas: p ~q

p V V F F

q V F V F

~p F F V V

V F F V

q V F V F

p 1 1 0 0

q 1 0 1 0

~p 0 0 1 1

1 0 0 1

q 1 0 1 0