rea de Formacin General LGICO MATEMTICA

Las siguientes expresiones significarn lo mismo?

Si ngel va al paseo, entonces el paseo ser divertido.

ngel no fue al paseo o el paseo estuvo divertido.

No es el caso que, ngel vaya al paseo y el paseo no estuviera divertido.

El paseo ser divertido si ngel va al paseo.

Nuestra comunicacin diaria, oral o escrita, incorpora una variedad de trminos y/o expresiones lingsticas, que se avocan, muchos de ellos a explicar un mismo suceso y/o actividad, a lo cual llamamos expresiones equivalentes.

 QU OPINAS?
Es falso que, la economa en el Per este creciendo salvo que el precio de los productos bajen.

Ni la economa en el Per est creciendo ni los precios de los productos bajan. PIENSAS QUE AMBAS EXPRESIONES SIGNIFICAN LO MISMO?

COMPROBEMOS!
Haciendo uso de las TABLAS DE VALORES DE VERDAD tenemos:
p V V F F q V F V F
(pvq)

Dos proposiciones son lgicamente equivalentes si las tablas de verdad de sus conectivos lgicos principales son idnticas. Se simboliza con .

Por ejemplo: Verifica si las siguientes expresiones lgicas son equivalentes o no. p q p p y p q p
p V V F F q V F V F

p q p p

p q p

Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atmicos.

Demuestra la siguiente ley del condicional:

p p q | p q
Para demostrar la equivalencia lgica bastar con la elaboracin de la tabla de valores de verdad de las proposiciones unindolas por el bicondicional. VAMOS!!! .INTENTALO PARA COMPROBAR

Por ejemplo:
p V V F F q V F V F (ppq)

p p q | p q
m
p q

Tautologa
Si al unir las dos proposiciones, a travs del conectivo BICONDICIONAL, resulta una TAUTOLOGA, entonces ambas sern EQUIVALENTES

Demuestra la siguiente ley del bicondicional:

( p m q ) | p p q p n q
Elaboramos entonces la tabla de valores de verdad de las proposiciones unindolas por el bicondicional, recordando que el replicador se debe invertir para que se pueda trabajar en la tabla. Ahora a comprobar ..

p m q | p p q q p p
p V V F F q V F V F (pmq)

( p p q)

(qpp)

Tautologa

Existen muchas estructuras que al someterlas a una tabla de verdad siempre cumplen el requisito obligatorio de ser TAUTOLGICAS, por lo cual se desprenden las leyes de equivalencia. As tenemos:

Se utilizan comnmente para determinar equivalencias verbales. Estas Leyes son:

NOMBRE
Ley de doble negacin Leyes de De Morgan Leyes conmutativas Ley de Condicional Ley de Contraposicin Ley de Biimplicacin

LEYES

A | A
( A B ) | A B ( A B ) | A B

A B | B A A B | B A

A p B | A B

A p B | B p A P m Q | P p Q P n Q

EJEMPLO 1. La epistemologa estudia los fundamentos y los mtodos del conocimiento cientfico. Entonces el objeto de estudio de la epistemologa es la produccin y la validacin del conocimiento cientfico. Frmula: Aplicacin de equivalencia: Luego la proposicin equivale a:

EJEMPLO 2. Miriam habla correctamente el ingls y podr trabajar legalmente en Estados Unidos, porque tiene visa americana. (Def. implicador, distributiva, def., implicador) Frmula: Aplicacin de equivalencia: Luego la proposicin equivale a:

EJEMPLO 3. No es el caso que, ni vayamos a comprar un nuevo equipo de cmputo ni estemos por adquirir nuevos muebles para nuestra oficina.