República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Superior

Colegio Universitario de Administración y Mercadeo C.U.A.M

Valencia. Edo. Carabobo.

Condicionales y doble implicación.

Profesora: Alumno:

Nuris Jimenez Carlos

Campos

Lógica Contaduría

I semestre
 09 de mayo del 2019

Condicionales con antecedentes inconsistentes

Se trata de condicionales de la forma:

(P Ù ¬P) --> Q (5)

Donde P representa a cualquier proposición simple o compuesta y Q asimismo

representa a cualquier proposición. Toda proposición inconsistente de cualquier
forma es reducible a una proposición de la forma (5).

Las proposiciones de la forma (P Ù¬P) se denominan "contradictorias",

"inconsistentes" o "lógicamente falsas". Contradictorias, porque la proposición
representada por P contradice a la proposición representada por ¬P, al igual que
su recíproca. Inconsistente, porque la proposición representada por P es
incompatible con la proposición representada por ¬P, y su recíproca. Lógicamente
falsa, porque todas las interpretaciones de la fórmula (P Ù ¬P) son falsas sin
excepción, debido a que no existe en la realidad ningún estado de cosas,
propiedad o relación que pueda de ser descrita con una proposición que tenga esa
forma.

En consecuencia, en ninguna proposición de la forma (5), el nexo "-->"

representa una relación verificable, ya que su antecedente jamás se refiere a
ningún hecho en la realidad. Sin embargo, a partir de (PÙ¬P) con la ayuda de la
Tautología de la Adición –tautología cuestionada y rechazada en muchos sistemas
de lógica no-clásicas– se puede deducir cualquier fórmula, pero eso es
simplemente un artificio formal que no transciende del papel y tinta.

Doble implicación

También llamado complicador o doble implicación, este conectivo lógico es

mucho más fácil de explicar, no hay mucha magia en ello.

La propiedad de este conectivo lógico es de doble filo, esto es, para dos
proposiciones p y q conectados por una bicondicional pueden depender
mutuamente entre sí. Aquí p puede ser antecedente de q como también q puede
ser el antecedente de p

Como dos proposiciones bajo este conector son mutuamente dependientes, no

existe jerarquía entre las dos.

“La biciondicional es un conectivo lógico denotado por ↔ que conecta dos

proposiciones p y q formando una nueva proposición p↔q tal que su validez es
verdadera si sus proposiciones que la componen tiene el mismo valor de verdad y
falsa si tiene valores de verdad opuestos.”

El significado literal de la bicondicional lógica entre dos proposiciones o

enunciados abiertos es “Si y solo si“. No siempre dos proposiciones pueden
conectarse de esta manera para darle sentido a una nueva proposición. Ejemplo:

Caso 1: Sea la proposición:

 Saldré de casa si y sólo si anochece.

No toda proposición puede ser una bicondicional ya que la proposición anterior

puede escribirse así:

Anochece si y solo si salgo de casa.

Es imposible que anochezca por arte de magia porque simplemente se salga de

casa, por el cual, la proposición es inviable, veamos otro caso.

Caso 2: Sea la siguiente proposición:

Saldré de casa siempre y cuando mi madre compre un chocolate

Esta proposición se puede escribir de manera invertida así:

Mi madre comprará un chocolate siempre y cuando yo salga de casa

Este tipo de proposiciones tiene más coherencia que el caso 1, sin embargo, en
lógica proposicional, no se tomará en cuenta el significado de los argumentos
restringiendo solo y únicamente a sus valores de verdad.
La tabla nos indica que tanto el antecedente como el consecuente tiene que ser o
verdaderas o falsas para que la proposición bicondicional sea verdadera. La
siguiente tabla de verdad para la bicondicional muestra esta característica.

Esto significa que la proposición q es condición suficiente y necesaria para p, pero

estos puntos lo veremos con la equivalencia lógica que muchas veces se
confunden con la bicondicional propiamente dicha.

Ejemplo de las implicaciones lógicas

1: Si pague por el pan entonces lo puedo llevar a casa.

2: Si tengo mi entrada entonces puedo entrar al cine.

3: Si corto el pasto entonces puedo ir a la fiesta esta noche.