Vous êtes sur la page 1sur 7

OPERACIONES PROPOSICIONALES

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o más proposiciones,
de las que se conoce los valores veritativos, se trata de caracterizar la proposición resultante a través
de su valor de verdad.

1. NEGACIÓN. Dada una proposición p, se denomina la negación de p a otra proposición denotada


por ~p (se lee "no p") que le asigna el valor veritativo opuesto al de p.
p ~p
V F
F V

2. CONJUNCIÓN. Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a


la proposición p  q (se lee "p y q")
p q p  q
V V V
V F F
F V F
F F F
La tabla que define esta operación, establece que la conjunción es verdadera sólo si lo son las dos
proposiciones componentes. En todo otro caso, es falsa.

3. DISYUNCIÓN. Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la


proposición p  q , se lee ” p o q “
p q p  q
V V V
V F V
F V V
F F F
La disyunción o es utilizada en sentido excluyente, ya que la verdad de la disyunción se da en el
caso de que al menos una de las proposiciones sea verdadera

4. IMPLICACIÓN O CONDICIONAL. Implicación de las proposiciones p y q es la proposición p  q (si


p entonces q). La proposición p se llama antecedente, y la proposición q se llama consecuente de
la implicación o condicional.
p q p  q
V V V
V F F
F V V
F F V
La tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el
consecuente es falso.

5. DOBLE IMPLICACIÓN O BICONDICIONAL. Doble implicación de las proposiciones p y q es la


proposición p  q (se lee "p si y sólo si q")
p q p  q
V V V
V F F
F V F
F F V
La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo
valor de verdad
La doble implicación puede definirse como la conjunción de una implicación y su recíproca. De
este modo, la tabla de valores de verdad de p  q puede obtenerse mediante la tabla de (p 
q)  (q  p), como vemos:
p q p  q q p (p  q)  (q Þ p)
V V V V V
V F F V F
F V V F F
F F V V V

6. DIFERENCIA SIMÉTRICA. Diferencias simétrica o disyunción en sentido excluyente de las


proposiciones p y q es la proposición p  q (se lee "p o q en sentido excluyente") cuya tabla de
valores de verdad es
p q p  q
V V F
V F V
F V V
F F F
La verdad de p  q está caracterizada por la verdad de una y sólo una de las proposiciones
componentes.

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA


Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo denominamos fórmula
lógica. Por ejemplo: ~{ (p  q)  (s  t) }

TAUTOLOGÍA. Si al evaluar una fórmula lógica, resulta que todos los valores de verdad resultantes son
siempre V para cualquier combinación de sus valores veritativos, decimos que dicha fórmula es una
Tautología o Ley lógica.

Ejemplo.
Si analizamos la proposición t: p  ~p realizando su tabla de verdad
p ~p p  ~p
V F V
F V V
Vemos que para cualquier combinación de las proposiciones p y su negación ~p, la proposición
t: p  ~p es siempre verdadera. Entonces, la proposición t es una tautología.

Ejemplo. Analicemos ahora la fórmula lógica {(p  q)  p}  q


p q pq qp {(pq)p}q
V V V V V
V F F F V
F V V F V
F F V F V
En este caso comprobamos también que independientemente de la combinación de valores de
verdad de las proposiciones p y q, el resultado de la fórmula lógica es siempre V. Decimos, aquí
también, que esta fórmula es una tautología o ley lógica.

CONTRADICCIÓN
Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para cualquier valor
de verdad de las proposiciones intervinientes el resultado de dicha fórmula es siempre falso, decimos
que dicha fórmula es una Contradicción.

Ejemplo
Analicemos la fórmula lógica p  ~p
p ~p p  ~p
V F F
F V F
CONTINGENCIA
Encontramos que la fórmula es siempre falsa, es entonces una Contradicción.
Si una proposición no es una tautología ni una contradicción (es decir que contiene al menos un valor
V y otro F) es una contingencia

EJERCICIOS No. 1.
Valida las siguientes Proposiciones.
 p1: Todo polinomio de Grado 2 tiene solución en los reales.
 p2: Toda ecuación lineal tiene solución en los racionales.
 p3: Toda ecuación lineal tiene solución en los naturales.
 p4: Un polinomio es lineal si el grado mayor es 1.
 p5: Los polinomios aceptan exponentes fraccionarios.
 p6: El número 9 NO es PAR NI es PRIMO.
 p7: El cinco es un número PRIMO.
 p8: El 4 es divisor del 50.
 p9: 6x – 10 = 0 NO tiene solución en los enteros.

Ejemplos:
Efectúe las operaciones indicadas con las siguientes proposiciones. Valídelas.
p1: La suma es cerrada en los pares.
p2: El producto es cerrado en los impares.
p1  p2: La suma es cerrada en los pares o el producto es cerrado en los impares. ( V )
p1  p2: La suma es cerrada en los pares y el producto es cerrado en los impares. ( V ).
p1  p2: La suma NO es cerrada en los pares y el producto es cerrado en los impares. ( F )
p1  p2: La suma NO es cerrada en los pares o el producto NO es cerrado en los impares. ( F ).
p2  p2: El producto es cerrado en los impares y el producto no es cerrado en los impares. (F).

EJERCICIOS No. 2:
Con las proposiciones del EJERCICIOS No. 1 efectúe las siguientes operaciones. Valídelas.
a).- p2  p3 :
b).- p1   p4 :
c).- p6  p5 :
d).-  p3  p7 :
e).-  p5   p5 :
f).- p8  p6 :
g).- p7  p1 :
h).- p6   p7 :
i).-  p4  p9 :
j).- p7   p5 :

UN RAZONAMIENTO:
 Será VERDADERO si su tabla de verdad lo es también independientemente de los valores de verdad
o falsedad de las proposiciones involucradas en él. (Razonamiento Tautológico o Tautología).
 Será FALSO si su tabla de verdad lo es también, independientemente de los valores de verdad o
falsedad de las proposiciones involucradas en él. (Razonamiento Contradictorio o Absurdo).
 Ahora que si su valor de verdad depende de los valores de las proposiciones involucradas, se dice
que el razonamiento es Contingente.
INFERENCIA MATERIAL.
Es la forma más elemental que adopta una Razonamiento en la Lógica Matemática. Se define entre
DOS proposiciones: Una, la primera, llamada Antecedente o Hipótesis y otra, la segunda, Consecuente
o Tesis. Dado que es la conexión entre DOS proposiciones entonces nos da como resultado otra
proposición que será V si ambas son V o si el Antecedente es F independientemente del Consecuente.
Se representa mediante el símbolo “  “ y se lee: “Si . . .Entonces . . . ” así en la inferencia “p  q” la
leemos: Si p entonces q.
Ejemplo:
Con las siguientes proposiciones construya las Inferencias que se piden. Valídelas.
p: 4 y 10 son números pares.
q: 4 + 10 es un número Par.

a. p  q: Si 4 y 10 son Pares, entonces 4 + 10 es Par. ( A = V y C = V   V )


b. p  q: Si 4 y 10 NO son pares entonces 4 + 10 es Par. ( A = F y C = V   V )
c. p  q: Si 4 y 10 son pares entonces 4 + 10 NO es par. ( A = V y C = F   F )
d. p  q: Si 4 y 10 NO son pares entonces 4 + 10 NO es par. (A = F y C =F   V)
e. q  p: Si 4 + 10 es PAR entonces 4 y 10 son pares. ( A = V y C = V   V )
f. q  p: Si 4 + 10 es PAR entonces 4 y 10 NO son pares. ( A = V y C = F   F ).
g. q  p: Si 4 + 10 NO es par entonces 4 y 10 son pares. ( A = F y C = V   V ).
h. q  p: Si 4 + 10 NO es par entonces 4 y 10 NO son pares. (A = F y C =F   V)

EJERCICIOS No. 3.
Con las siguientes proposiciones construya las Inferencias que se piden. Valídelas.
p: 5 y 9 son números impares.
q: 5 x 9 es un número impar.

a. p  q:
b. p  q:
c. p  q:
d. p  q:
e. q  p:
f. q  p:
g. q  p:
h. q  p:

DEFINICION:
Dos expresiones de la Lógica Matemática son equivalentes y representan el mismo razonamiento si
tiene la misma tabla de verdad. Es decir, si para la misma combinación de valores de verdad de las
proposiciones involucradas el resultado tiene también el mismo valor de verdad.

EJERCICIOS No. 4.
1. OBTÉN LA TABLA DE VERDAD DE LAS SIGUIENTES EXPRESIONES PROPOSICIONALES:
 (p  q)  p’  q’
 (p  q)  p’
 (p  q’)  (p’  q)
 (p  q  r)  (p’  q  r’)  (p’  q’  r’)

2. VERIFICA QUE CADA UNA DE LAS SIGUIENTES EXPRESIONES ES UNA TAUTOLOGÍA.


 p p
 p  ( p  q)  q
 p’ ( p  q)
 [(p  q)  (q  r)]  (pr)
 (p  q)  {[p  (q  r)]  q (p  r)

3. Usando los datos proporcionados.

i) ( p  q) = 1 y ( q  r) = 0 encuentra el valor lógico para:  ( r  p) ( r  q) 


ii) ( p  q) = 0 y ( r  p)= 0 encuentra el valor lógico para:  ( p  r) y p  r
iii) ( p  q) es falsa encuentra el valor lógico para: ( p  q) q y ( p  q) p
iv) VL(p) = 1 , VL(q) = 0 y VL(r) = 1 ; encuentra el valor lógico para: ( p  q) r ( p  q) r (p
 r)  ( q  p)
4. Cinco amigos compiten una carrera en la que no hubo empates y cada uno hace su declaración
al llegar a la meta. Establecer el orden de llegada si cada uno dijo al menos una verdad en su
declaración:

Tito: Juan llegó primero y yo segundo


Diego: Juan llegó segundo y yo cuarto
Pato: Santiago llegó quinto y yo tercero
Juan: Pato llegó primero y yo quinto
Santiago: Juan llegó tercero y yo cuarto

5. Un Estudiante del Colegio Santa Cruz de Chicureo quizo ser detective y se pone a investigar un
crimen,llegando a comprobar que las siguientes anotaciones que realizó, son todas verdaderas:
 El mayordomo de la casa o la esposa del difunto, cometieron el asesinato
 Si el mayordomo cometió el asesinato entonces este no ocurrió antes de la medianoche
 Si el testimonio de la esposa es verdadero entonces el asesinato ocurrió antes de medianoche
 Si el testimonio de la esposa es falso entonces la luz de casa no se apagó a medianoche
 Las luces de casa se apagaron a la medianoche y el mayordomo no es millonario

¿Cómo determinó quién es el asesino?

Clases de proposiciones intelectuales se transmiten de padres a hijos casi


Diga si las siguientes proposiciones son simples o de la misma manera que el color de los ojos.
compuestas: p) Así pues, no hay forma de argumentar en contra
a) Osama y Omar son concuñados. de las ideas de Aristóteles sobre la base de las
b) Toda inferencia inductiva es una inferencia en creencias formuladas en el vocabulario, pero no
términos de probabilidad. a la inversa.
c) Hace unos años se consideraba al computador q) La diferencia que hay aquí entre Sellars y
como una gran ‘calculadora’, pero hoy se habla Davidson es la diferencia entre alguien que se
de sus logros intelectuales. toma en serio la pregunta “¿Existe en realidad
d) El oxígeno no produce óxido en presencia de aquello sobre lo que hablamos?” y alguien que
metaloides. no.
e) Tanto la suma como la multiplicación de r) “Liberalismo burgués posmoderno” fue una
números naturales son asociativas. contribución a un simposio sobre “La responsa-
f) Los peces son acuáticos puesto que respiran por bilidad social de los intelectuales”, celebrado en
branquias. la reunión anual de 1983 de la división oriental de
g) La suma de los ángulos internos de un triángulo la Asociación Americana de Filosofía.
es igual a 180°. s) Me parece que la izquierda posmarxista actual
h) Gloria e Irene son contemporáneas. difiere de la marxista anterior principalmente en
i) El abuelo y la abuelita obsequiaron una muñeca que esta última tenía en mente una revolución
a su nieta. concreta.
j) Hace aproximadamente 1 750 000 años el Homo t) La concepción que denomino “pragmatismo” es
habilis desapareció para ser reemplazado por un casi la misma que la que Hilary Putnam
individuo más fornido, conocido como Homo denomina “la concepción internalista de la
erectus. filosofía”.
k) Una lógica se dice paraconsistente si puede ser
la lógica de teorías inconsistentes, pero no Clasificación de las proposiciones compuestas
triviales. Diga si las siguientes proposiciones moleculares son
l) A la descomposición química de una sustancia conjuntivas, disyuntivas inclusivas, disyuntivas
en iones por la acción de la corriente eléctrica se exclusivas, condicionales, bicondicionales o
llama electrolisis. negativas:
m) Los términos ‘lenguaje objeto’ y ‘metalenguaje’ a) Si el ciclotrón bombardea el átomo, entonces
no son absolutos sino relativos. acelera la velocidad de los protones.
n) Por razones aún no conocidas, el hombre de b) Todos los cuerpos se atraen con una fuerza
Neanderthal desapareció hace unos 40 mil años directamente proporcional al producto de sus
y cedió el lugar a un individuo venido del este: el masas e inversamente proporcional al cuadrado
hombre de Cro-Magnon, nuestro ancestro de la distancia que los separa.
directo. a) Un ejemplo típico de la falacia del círculo vicioso
o) Decir que la inteligencia es hereditaria es es la famosa prueba del quinto postulado de
defender la idea de que nuestras facultades Euclides o postulado de las paralelas.
En este ejemplo, la conclusión “Raúl viajará a
b) El 20% de 150 es 30 ó 50. Londres” se encuentra en primer término. Si
c) Dos ángulos son suplementarios siempre que restituimos a esta inferencia su forma lógica, se
formen un par lineal. enunciará de la siguiente manera: “Si Raúl obtuvo la
d) La huelga continúa, pues no hay solución. beca y habla correctamente el inglés, entonces
e) Si consigo una beca, entonces y sólo entonces viajará a Londres”.
viajaré al extranjero.
f) Si se calienta un cuerpo, entonces se dilata; y si Para identificar las premisas y la conclusión de una
se enfría, entonces se contrae. inferencia conviene tener en cuenta estas sencillas
g) Cuando apruebe el examen de admisión indicaciones:
ingresaré a la universidad. o Preceden a las premisas las partículas: “ya que”,
h) David no es limeño ni loretano. “puesto que”, “pues”, “porque”, “siempre que”,
i) Si la distancia entre el Sol y la Tierra hubiera etc.
diferido en apenas un 5 por ciento, ninguna o Preceden a la conclusión las partículas: “por
forma de vida habría podido surgir y nuestro tanto”, “por consiguiente”, “en consecuencia”,
planeta habría sido un desierto. “en conclusión”, “de manera que”, etc.
j) Sin la aparición de las galaxias, sin la formación o Regla práctica: la expresión inmediatamente
de estrellas masivas, sin el paso por el estadio de anterior a las partículas que preceden a las
supernova, jamás habrían podido existir el premisas, es la conclusión.
hombre ni la vida.
k) Francis Fukuyama proclamaba el fin de la historia Formalización de proposiciones
y la muerte de toda ideología, puesto que era Formalice las siguientes proposiciones: en cada caso
liberal. halle su forma lógica y escriba la fórmula
l) Actualmente está claramente establecido que correspondiente.
nuestro universo sufre una tremenda expansión, y a) Si eres talibán, entonces eres
que esta expansión parece ser el resultado de fundamentalista.
una explosión inicial o big bang. b) No como ni duermo.
m) Las estrellas nacen y viven, pero también c) La universidad está sin rector.
mueren. d) En los países democráticos no hay delito de
n) Se dice que existe probabilidad de que ocurra opinión, tampoco prisión por deudas.
un hecho o que un hecho es probable, cuando e) Ni Juan ni Pedro ni Felipe te darán la razón.
hay en alguna medida razones o fundamentos f) A nadie quiso escribir, ni a sus más íntimos
para afirmar su ocurrencia, pero sin llegar al nivel amigos.
de la certeza o de la seguridad. g) Tanto Carlos como Federico son ateos
o) Vilma trabaja despacio, pero sin pausa porque son materialistas.
p) Paradoja es un tipo especial de contradicción h) Si hay ley, razón y justicia en el mundo, no
constituida por una proposición determinada sucederá lo que temes.
cuya verdad implica su falsedad y cuya falsedad i) Aunque esté enfermo, no faltaré a la cita.
implica su verdad. j) No lo hizo Antonio, sino David.
q) El pragmatismo norteamericano ha oscilado k) Las declaraciones obtenidas por la violencia
entre el intento de elevar el resto de la cultura al carecen de valor.
nivel epistemológico de las ciencias naturales y l) El dinero hace ricos a los hombres, pero no
el intento de nivelar las ciencias naturales en dichosos.
paridad epistemológica con el arte, la religión y m) No pudo asistir porque estuvo ausente.
la política. n) Los actos del Presidente de la República son
r) “Definición operacional” es la expresión del nulos siempre que no tengan refrendación
significado de un constructo o concepto ministerial.
teorético en términos de propiedades o) De saberlo antes, habría venido.
observables y medibles llamadas indicadores. p) Cuando tú lo dices, verdad será.
q) Sin su libre consentimiento, sin la debida
La forma lógica de la inferencia es premisas- retribución, no se le puede obligar a prestar
conclusión; sin embargo, en el lenguaje coloquial es trabajo.
frecuente observar que dicha forma lógica se r) Se te enviará el diploma, bien por el correo
presente alterada y en orden inverso, es decir, de hoy, bien por el de mañana.
conclusión premisas. En este caso, antes de s) Sufre la pena, pues cometiste la culpa.
proceder a su formalización, es preciso restablecer t) Los yacimientos y restos arqueológicos son
su forma lógica, o sea, se debe ordenar la inferencia. patrimonio cultural de la Nación, están bajo
Ejemplo: “Raúl viajará a Londres, puesto que obtuvo el amparo del Estado y la ley regula su
la beca y habla correctamente el inglés”. conservación.
Ejercicio N.º 9
m) Sin decano ni consejo de facultad no hay
Formalización de inferencias gobierno de la facultad ni democracia. Pero es
Formalice las siguientes inferencias: en cada caso falso que haya gobierno de la facultad o haya
halle su fórmula lógica y escriba la fórmula democracia. Por tanto, es falso que haya
correspondiente. decano o haya consejo de facultad.
a) Osama bin Laden es un fundamentalista religioso n) Los profesores ordinarios son principales,
y Hitler es un fundamentalista político. Luego, asociados y auxiliares. Los profesores
Hitler es un fundamentalista político. extraordinarios son eméritos, honorarios,
b) Esta figura no es un cuadrilátero, puesto que es investigadores y visitantes. Luego, los profesores
un triángulo. Es un triángulo. En consecuencia, no ordinarios son principales, asociados y auxiliares.
es un cuadrilátero. o) Si tu profesor recomienda la duda, o es un
c) Si la suma de dos números naturales es escéptico o es un nihilista. Si es escéptico o
conmutativa, entonces si cambiamos el orden nihilista, es idealista o metafísico. En
de los sumandos, se obtiene la misma suma. La consecuencia, tu profesor recomienda la duda si
suma de dos números naturales es conmutativa. es idealista o metafísico.
Por tanto, se obtiene la misma suma si p) Si eres profesor principal, eres maestro o doctor.
cambiamos el orden de los sumandos. Si eres profesor ordinario, tienes derecho a la
d) Un cuerpo está en estado neutro y no presenta promoción en la carrera docente y a la
ningún fenómeno eléctrico en su conjunto participación en el gobierno de la universidad.
siempre que su carga eléctrica positiva esté en Luego, eres profesor principal u ordinario si eres
estado igual a la negativa. Pero es falso que el maestro o doctor.
cuerpo esté en estado neutro y no presente q) Los profesores universitarios son ordinarios,
ningún fenómeno eléctrico en su conjunto. En extraordinarios y contratados. Por tanto, los
consecuencia, la carga eléctrica positiva de un profesores universitarios son ordinarios,
cuerpo está en estado igual a la negativa. extraordinarios y contratados, o los jefes de
e) Se llama falacia o sofisma si una inferencia práctica y ayudantes de cátedra realizan una
inválida tiene la apariencia de ser válida. Se actividad preliminar en la carrera docente.
llama falacia o sofisma. Luego, la inferencia r) Sin carbono, oxígeno, nitrógeno e hidrógeno, no
inválida tiene la apariencia de ser válida. hay vida. En consecuencia, hay carbono o hay
f) Este triángulo no se llama equilátero a menos oxígeno o hay nitrógeno o hay hidrógeno, si hay
que tenga tres lados iguales. Si se llama vida.
equilátero, no se llama isósceles. En s) Si el Presidente de la República decreta el
consecuencia, si tiene tres lados iguales, no se estado de emergencia, las Fuerzas Armadas
llama isósceles. asumen el control del orden interno de la
g) Sin variables ni operadores, no hay lenguaje Nación. Si las Fuerzas Armadas asumen el control
lógico posible. No hay variables ni operadores. del orden interno de la Nación, se suspenden las
Por tanto, no hay lenguaje lógico posible. garantías constitucionales y no se impone la
h) Tanto Roberto como Ernesto son creyentes, pena de destierro. Luego, no se impone la pena
porque ambos son católicos. Roberto y Ernesto de destierro si el Presidente de la República
son católicos. Luego, son creyentes. decreta el estado de emergencia.
i) La ‘p’ es una variable proposicional o es un t) Si dos es un número natural, su opuesto es un
operador lógico, pero no puede ser ambas número entero y no un número natural. Es falso
cosas a la vez. En consecuencia, es falso que la que el opuesto de dos sea un número entero y
‘p’ sea un operador lógico. no sea un número natural. Luego, dos es un
j) Un número es divisible por 2 si termina en cero o número natural o entero.
en cifra par. Un número es divisible por 5 si u) Si Osama estudia música podrá obtener un
termina en cero o en 5. Por tanto, un número es puesto en la Orquesta Sinfónica. Debo concluir
divisible por 2 si no termina en 5. que Osama podrá obtener un puesto en la
k) Si hay guerra civil, hay estado de sitio. Hay orquesta Sinfónica ya que, o se dedica al
estado de emergencia si se altera el orden deporte o estudia música, y Osama no se dedica
interno de la Nación. En consecuencia, no hay al deporte.
estado de emergencia si hay guerra civil. v) Si el candidato es fundamentalista, no tendrá
l) Si un número natural es primo, es mayor que uno. éxito. Deduzco que sufrirá una censura, si
Es divisible por sí mismo si es primo. Por tanto, es recordamos que o bien tiene éxito o bien sufre
divisible por sí mismo si es mayor que uno. una censura, y el candidato es fundamentalista.