FRETEL CHANAME, Kevin Christopher

TRABAJO LOGICA

IMPLICANCIA LOGICA
La implicacin es una estructura en donde una proposicin es consecuencia lgica
de otra. La forma de representarla es P => Q, y se lee P implica lgicamente a Q o
Q es una implicacin lgica de P. Otra forma de leer esta estructura es Si P
entonces Q. El significado es que la proposicin de la izquierda es verdadera,
entonces la proposicin de
recibe
el
nombre
de
consecuente y la tabla de
la
siguiente:

P
V
V
F
F

Q
V
F
V
F

P => Q
V
F
V
V

la derecha es verdadera. P
precedente
y
Q
de
verdad de la implicacin es

De la tabla de verdad se puede deducir que en toda implicacin en la que el

consecuente es verdadero y el antecedente es falso, la implicacin es verdadera.
El nico caso en que la implicacin es falsa es cuando el antecedente es verdadero
y el consecuente falso.
Estas propiedades de la implicacin son muy utilizadas en la demostracin de
teoremas lgicos y matemticos.
EJEMPLOS:
Si pague por el pan entonces lo puedo llevar a casa
Si tengo mi entrada entonces puedo entrar al cine
Si corto el pasto entonces puedo ir a la fiesta esta noche

EQUIVALENCIA LOGICA
Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para
todos los posibles valores de verdad de sus componentes atmicos.
Diremos que dos proposiciones P y Q son lgicamente equivalentes si es una
tautologa, es decir, si las tablas de verdad de P y Q son iguales.
Leyes Lgicas

Asociativas

Distributivas

Leyes de Morgan

1ER CICLO DE ADMINISTRACION Y NEGOCIOS INTERNACIONALES

FRETEL CHANAME, Kevin Christopher

TRABAJO LOGICA

De idempotencia

De identidad

De dominacin

Inversas

De absorcin

Reglas de Sustitucin

Sea P una tautologa y q una variable de P. Si sustituimos cada aparicin de q

por cualquier otra proposicin Q entonces la proposicin resultante es
tambin una tautologa.

Sea P una tautologa y Q una proposicin que aparece en P. Si reemplazamos

Q por una proposicin lgicamente a Q obtendremos una nueva proposicin
lgicamente equivalente a P.

Cualquier proposicin es lgicamente equivalente a otra que contiene

slamente los conectivos lgicos -, v,and.

Reglas de Inferencia
Dadas dos proposiciones P y Q diremos que P implica lgicamente Q, y escribiremos
P \Rightarrow Q si P rightarrow Q es una tautologa.
Si P es falso, entonces la proposicin P, Q es verdadera independientemente del
valor de Q. Por tanto, P si los valores de las variables que hacen a P verdadero
tambin hacen verdadero a Q. De manera equivalente P Q significa que P y Q no
tienen nunca de manera simultnea los valores de verdad 1 y 0 respectivamente.
Como hemos dicho, las proposiciones pueden tomar dos valores, verdadero o falso,
que representaremos respectivamente con los nmeros 1 y 0. Por tanto, cuando
digamos que una proposicin toma valor 1 estaremos diciendo que es verdadera.
El valor de verdad de una proposicin compuesta queda determinado por los valores
de las proposiciones simples que la forman. Las tablas de verdad nos indican los
valores de verdad de una proposicin para cada posible combinacin de los valores
de las proposiciones simples.
Equivalencia lgica en la ley asociativa de la conjuncin

1ER CICLO DE ADMINISTRACION Y NEGOCIOS INTERNACIONALES

FRETEL CHANAME, Kevin Christopher

TRABAJO LOGICA
A modo ilustrativo demostraremos, a continuacin, que, en virtud de la ley
asociativa de la conjuncin, la frmula p (qr) es lgicamente equivalente a (pq)r.
Para ello no hay ms que hacer la tabla de verdad de cada una de esas expresiones
y comprobar si, en efecto, todas sus interpretaciones son iguales para la conectiva
dominante.

Equivalencia lgica en la ley asociativa de la disyuncin

Te proponemos que rellenes la siguiente tabla con Vs y Fs donde proceda para
comprobar que, en virtud de la ley asociativa de la disyuncin, la frmula p (qr) es
equivalente a (pq) r.
Ejemplo: Las dos frmulas siguientes son equivalentes:
(p q) (p r)

p q r

p q

p r

(p q) (p r)

p q

p q r

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

q
F
F
V
V
F
F
V
V

p
F
F
F
F
V
V
V
V

F
F
V
V
V
V
V
V

V
F
V
F
V
V
V
V

V
F
V
V
V
V
V
V

F
F
V
V
V
V
V
V

V
F
V
V
V
V
V
V

Donde se puede observar que la ltima y la antepenltima columnas son iguales.

Las equivalencias se relacionan con las tautologas de la siguiente forma.

CUADRO COMPARATIVO

1ER CICLO DE ADMINISTRACION Y NEGOCIOS INTERNACIONALES

FRETEL CHANAME, Kevin Christopher

TRABAJO LOGICA

PRINCIPIOS CLASICOS
EL PRINCIPIO DE IDENTIDAD:
El principio de Identidad fue formulado por primera vez como parte de una teora
de la realidad del ser.
Ese principio afirmaba algo tan general como que El ser es; esto puede ser
explicado diciendo que todo objeto es idntico a s mismo.
Estas afirmaciones no son todava lgicas, pero con el tiempo, se reflexion sobre
las implicaciones lgicas de ese principio, logrando la formulacin lgico-formal del
primer principio.
Esa formulacin consisti en la afirmacin de la verdad de un juicio cuyo objeto sea
idntico al predicado (ese tipo de juicio se ha llamado juicio analtico). El primer
principio lgico se ha resumido con la frmula:
A es A
EJEMPLO:
El circulo es redondo
El hombre es un animal racional

EL PRINCIPIO DE CONTRADICCIN:
1ER CICLO DE ADMINISTRACION Y NEGOCIOS INTERNACIONALES

FRETEL CHANAME, Kevin Christopher

TRABAJO LOGICA
Este principio ha sido llamado tradicional e incorrectamente principio de
contradiccin, cuando lo que se enuncia es la imposibilidad de contradiccin en el
pensamiento.
Se trata del principio fundamental de la Lgica clsica que descarta cualquier
posibilidad de contradiccin en el pensamiento y en la realidad (esta implicacin ha
sido y es uno de los obstculos ms fuertes que ha encontrado toda consideracin
dialctica de la realidad y el pensamiento).
La forma ms plena del segundo principio es la que se refiere a la no-contradiccin
entre dos juicios, tal como se expresa en la frmula:
A es A y A no es A no son ambos verdaderos
que se lee: El juicio A es A y su contradictorio, el juicio A no es A no pueden ser
verdaderos a la vez.La forma original de este segundo principio es tambin
ontolgica y se formulaba de la siguiente manera: El ser es y no puede a la vez no
ser.

EJEMPLO:
Decir que piensas las cosas antes de hacerlas, pero cuando haces algo, ni
siquiera lo piensas.

EL PRINCIPIO DE EXCLUSIN DEL TRMINO MEDIO:

Como un complemento necesario del principio de no contradiccin, se formula el
principio de exclusin del trmino medio.
En su forma original, se refera tambin a una estructura de la realidad y consista
en la afirmacin de que no hay trmino medio entre el ser y el no-ser.
En su forma lgica, este principio debe entenderse como afirmando que dos juicios
contradictorios no pueden ser ambos falsos, tal como se sintetiza en al frmula:
A es A y A no es A no son ambos falsos que se lee:
El juicio A es A y su contradictorio, el juicio A no es A no pueden ser falsos a la
vez.
EJEMPLO:
1ER CICLO DE ADMINISTRACION Y NEGOCIOS INTERNACIONALES

FRETEL CHANAME, Kevin Christopher

TRABAJO LOGICA
Una mujer no puede estar medio embarazada. Est embarazada o no lo
est.

1ER CICLO DE ADMINISTRACION Y NEGOCIOS INTERNACIONALES