LOGICA MATEMATICA

RESERVA HISTORICA:

Etimolgicamente el trmino significa la ciencia de los logos. En efecto, el vocablo logos traduce palabra o discurso,
hecho por el cual se defini a la lgica como una rama de la gramtica que estudia ciertos estilos del lenguaje. En este
contexto, se hace necesario la elaboracin de argumentos para defender o refutar pensamientos o posturas ideolgicas,
se recurri a mtodos para poder evaluar o verificar la validez dichos razonamientos .En este sentido, el gran filsofo
griego Aristteles, tiene el honor de ser el primer sistematizador de los conceptos de la lgica que los condens en
clebre texto denominador Organon, en este ensayo, el filsofo trata a la lgica como un simple mtodo de las ciencias,
debido que los propsitos de la lgica se encaminaban a estudiar las estructuras del pensamiento. En concordancia con
lo anterior, la lgica Aristotlica resalta la estrecha conexin entre los conceptos de categora, definicin, juicio de
valor, proposicin y silogismo, es decir, desarrollar la lgica proposicional, estableciendo los procedimientos para
demostrar la verdad o falsedad de las proposiciones compuestas y de los silogismos en resumen; en la antigedad, la
lgica estuvo asociada al conjunto del pensamiento de las diferentes doctrinas filosficas y religiosas.
Ahora bien, el trmino lgica matemtica fue acuado en los aos 500 A.C. por el pensador LAO-TS, al llegar a una
evidente conclusin: EL TOTAL ES MAYOR QUE SUS PARTES al referirse a la relacin existente entre las partes
separadas y el conjunto coordinado de esas partes.
De hecho, el trmino lgica matemtica que denota un conjunto de reglas y tcnicas del razonamiento deductivo, que
partiendo de simples y a veces de ingenuas afirmaciones se pueden sacar audaces conclusiones y nuevos conceptos,
llegando a resultados asombrosos. Cabe de resaltar, la importancia de la lgica en la construccin del pensamiento, el
hermoso y bien logrado pasaje de la novela del escritor italiano Luciano Zuccoli (1886-1829) en donde relata la auto
evaluacin realizada por el joven protagonista de esa historia no jugaba casi nunca con juguetes verdaderos, que
tuviesen una forma determinada, un sentido preciso. Abandonaba los soldaditos de plomo para hacer largas batallas con
las que daba mando, nombre, vida; y las piezas del domin le servan de material para construir fortificaciones y
baluartes. Se creaba su mundo a su modo. En efecto, la lgica permite la interpretacin del mundo a la manera de los
grandes pensadores, que a travs de aventuras hipotticas, utopas y fantasas propias de la mente humana, explican la
realidad.
Retomando la evolucin de la lgica, es de capital importancia los aportes del matemtico alemn GOTTFRIED LEIBNIZ
quien fue el primero en formular la estrecha, conexin entre la lgica y la matemtica. Adems, introdujo los smbolos
matemticos para hacer representaciones proposiciones.
En el sigo XIX, los avances de esta ciencia se deben a los aportes de los matemticos GEORGE BOOLE y AUGUSTUS
MORGAN. En efecto. A Boole se le debe la introduccin de los operadores lgicos equivalentes a la unin, interseccin y
la negacin con los operadores aritmticos de la adicin, multiplicacin y sustraccin.
En trabajo colaborativo.com Morgan formulan los principios del razonamiento simblico de otro lado, a Boole se atribuyen
dos hechos de importancia para el desarrollo de la lgica:
El primero, la invencin de las tablas de verdad para comprobar la validez de las proposiciones compuestas.
El segundo, la introduccin del sistema binario de la lgica, es decir, falso o verdadero, hecho que dio origen a lo que
actualmente llamamos Algebra de Boole, que consiste en la aplicacin de los smbolos y operaciones lgicas mediante la
manipulacin de dichos smbolos con procedimientos similares a los del Algebra, se pueden sacar conclusiones a partir de
las proposiciones iniciales (premisas).
Aos ms tarde, el matemtico alemn GEORG CANTOR establece la teora de conjuntos y sus operaciones y la hace la
conexin los operadores lgicos para la unin, la interseccin, diferencia y complemento .En 1910, aparece la monumental
obra Principio matemtico de BERTNARD RUSSELL y ALFRED WHITEHEAD, en donde retoman los estudios anteriores
y redefinen los conceptos, bsicos de las aritmtica en trminos y conceptos de la lgica, estableciendo los fundamentos
de las matemticas puras, es decir, la lgica formal moderna y sus poderosos instrumentos para el avance de las
matemticas y las dems ciencias.
2

CONCEPTUALIZACION

La lgica ofrece mtodos que ensean como elaborar proposiciones, evaluar su valor de verdad y determinar si las
conclusiones se han deducido correctamente a partir de proposiciones supuestas, llamadas premisas adems, la lgica es

una ciencia que se interesa por las relaciones existentes entre las proposiciones con el fin de proporcionar tres
caractersticas del razonamiento lgico: conciso, preciso y claro.
La claridad y concisin, los estudiantes la consigue en la medida que familiariza con los elementos bsicos de un
argumento lgico, tanto en su representacin lgica como en su significado, lo que permite la simplificacin de
argumentos lgicos complicados, de esta manera los smbolos permite la concentracin en lo esencial de un contexto.
3

PROPOSICIONES

Es una oracin declarativa que puede tomar el valor de verdadero o falso pero no ambos a la vez. La proposicin es el
elemento esencial de la lgica para la matemtica. En efecto, a la proposicin se le puede considerar excepcin lingstica
que tiene la propiedad de tomar un solo valor de verdadero o falso, que sirve para la simplificacin de argumentos
complicados se crea un lenguaje artificial en donde se establece un conjunto de reglas claras, bien definidas y no se
presentan ambigedades ni vaguedades del lenguaje corriente.
Es importante tener en cuenta que las proposiciones son oraciones declarativas y tienen una estructura definida as un
sujeto bien definido, un predicado y una conjugacin de un verbo. El simple sustantivo o sujeto no configura una
proposicin.
Las proposiciones se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p,q,r,s,t,
x,y,z. las cuales reciben el nombre de letra o variables proposicionales, de esta manera, el lenguaje proposicional se
hace ms simple y exacto que el lenguaje cotidiano.
Ejemplos:
P: La luna es un satlite natural de la tierra.
q. El dos es un nmero primo.
r: 4+3 = 7
s: 32 + 42 = 52
t: New York es llamada la capital del mundo
Existen enunciados que no son proposiciones, porque no es posible establecer su valor de verdad por ejemplo:
p: Qu hora es?
q: Millonarios ser el prximo campen!
r: Maana llover
t : ojal que pase el examen de matemticas
w : x+7 = 18
3. Clases de proposiciones
Las proposiciones se pueden clasificar en proposiciones simples y compuestas.
Proposiciones simples
Son aquellas oraciones que carecen de conectivos lgicos. Ejemplos:
P: La lluvia es un fenmeno natural
q: 5 es el inverso aditivo de -5
r : Bolivia no tiene costas martimas
Proposiciones compuestas
Son aquellas proposiciones se forman al combinar proposiciones simples con los conectivos lgicos o trminos de enlaces.
Ejemplos
p: Estadio
q: Apruebo el semestre

p
q: si estudio entonces apruebo el semestre
: un tringulo es equiltero
t : un tringulo que tiene los tres lados iguales.

S
t: un tringulo es equiltero si y solo si tiene sus tres lados iguales
p: Gloria canta
q: Luisa es estudiante.

p
: Gloria canta y Luisa es estudiante.
CUANTIFICADORES
Cuando se habla de cuantificadores en trminos de Lgica, Teora de Conjuntos o Matemticas en general, se hace
referencia a aquellos smbolos que se utilizan para indicar cantidad en una proposicin, es decir, permiten establecer
cuntos elementos de un conjunto determinado, cumplen con cierta propiedad.

Los cuantificadores permiten la construccin de proposiciones a partir de funciones proposicionales, bien sea
particularizando o generalizando. Por ejemplo, si consideramos la funcin proposicional:
P(x) = x es menor que dos
Esto podra particularizarse as: Existe un nmero real que es menor que dos o generalizarlo diciendo: Todos los
nmeros reales son menores que dos.
En cualquiera de los dos casos, se especifica un conjunto donde est tomando valores la variable, para nuestro ejemplo, el
conjunto de los nmeros reales.
Para notar la particularizacin y la generalizacin, se utiliza la siguiente simbologa, respectivamente:

que se lee: existe un equis que pertenece a erre (a los reales), tal que equis es menor que dos
Mientras que

se lee: para todo equis que pertenece a erre (a los reales), se cumple que equis es menor que dos
El smbolo
(para todo) se denomina cuantificador universal, y el smbolo
cuantificador existencial.

(existe al menos un) se denomina

As, un cuantificador transforma una funcin proposicional, en una proposicin a la cual se le asigna un valor de verdad.
Los cuantificadores ms utilizados son entonces:

CUANTIFICADOR UNIVERSAL
(para todo): se utiliza para afirmar que TODOS los elementos de un
conjunto, cumplen con una condicin o propiedad determinada. Esto se expresa como:

CUANTIFICADOR EXISTENCIAL
(existe al menos un): se utiliza para indicar que existen uno o ms
elementos en el conjunto A que cumple(n) con una condicin o propiedad determinada.

4 CONECTIVOS LOGICOS
Son trminos que sirven para enlazar proposiciones simples, estos son: la conjuncin, disyunciones, la negacin el
condicional, bicondicional.
Conectivo
Smbolo
Lectura
Ejemplo
Conjuncin
y
Leidy baila y canta

Disyuncin inclusiva
Disyuncin excluyente

__

..

Juan estudia ingeniera Patricia

estudia medicina
Fabin vive en Neiva .. Bogot

No

5 no es un nmero par

Si,,
entonces,
Si solo

Si trabajo entonces estudiar

Negacin

Condicional

Bicondicional

Si dos ngulos son congruentes si y

solo si tienen la misma medida.

TABLA DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS

LA CONJUCIN (

Sean p y q dos proposiciones simples. La proposicin compuesta p

q se denomina conjuncin.
Ejemplo 1:
La proposicin compuesta: 5 es un nmero impar y es un entero positivo
Esta formada por:
p: 5 es un nmero impar
q: entero positivo

: Conjuncin

Para determinar la tabla de verdad, para la conjuncin. Analizaremos la siguiente proposicin.

p: 8 es un nmero par (v)
q: 5 es un nmero primo (v)
p

q: verdadero

p: 8 no es un nmero par (f)

q: 5 es un nmero primo (v)
p

q: falso

p: 8 es un nmero par (v)

q: 5 no es un nmero primo (f)

q: falso

p: 8 no es un nmero par (f)

q: 5 no es un nmero primo (f)
p

q: falso

Conclusin: La conjuncin es verdadera, cuando las dos proposiciones son verdaderas, en los dems casos es falsa.

p
v
v
f
f

q
v
f
v
f

5.2 LA DISYUNCION (

V
F
F
F

Sean p y q dos proposiciones simples. La proposicin compuesta p o q, simbolizada por p

q se llama disyuncin.

El operador o se puede usar como o incluyente o como o excluyente . En el primer caso hace que el valor de verdad
de una de las proposiciones simple repercuta en el valor verdadero de la proposicin disyuntiva, mientras que el segundo
caso (o excluyente) el valor de verdad de una de la proposicin, excluye la veracidad de la otra.
La tabla de verdad de la o inclusiva o exclusiva se puede resumir
P
V
V
F
F

q
v
v
v
f

p v que
V
V
V
F

p
v
v
f
f

q
v
f
v
f

pvq
f
v
v
f

LA NEGACION
Sea p, una proposicin simple, se define la negacin mediante la proposicin compuesta no p, simbolizada por p.
Su tabla de verdad se puede resumir as:
p
V
F
Una proposicin simple, se puede negar de varias maneras.
Ejemplos
Negar las siguientes proposiciones:
1

Sea p: el 7 es un nmero primo

Solucin
p: no es cierto que el 7 sea un nmero primo
p: el 7 es un nmero compuesto

q
F
V

Sea que: 72=49

Solucin
q: No es cierto que 72 = 49
q: 72 49
3

Sea r: todos los peces viven bajo el agua

Solucin
r: algunos peces no viven bajo el agua
4

Sea s: Algunas plantas son medicinales

Solucin
s: ninguna planta es medicinal
USO INADECUADO DE LA DOBLE NEGACION
Es frecuente en la vida diaria utilizar la negacin dos o mas veces, hecho que genera, en algunos casos confusiones.
En efecto, se presentan ambigedades, cuando se pronuncian frases como estas:
Nunca digas un nunca
Yo no miento nunca
No estoy dentro
As por ejemplo, en la frase yo no miento nunca, se est utilizando dos veces la negacin: cuando se dice no y cuando se
dice un nunca. En matemticas, cuando se usa dos veces la negacin, estas funcionan como los signos negativos, es decir,
se eliminan mutuamente. En la frase no es cierto que no fui al cine, lo que est diciendo es que si fui al cine.
Cabe advertir, que se debe tener mucho cuidado cuando se utilizan expresiones como doble negacin.
EJERCICIO
Negar las siguientes proposiciones.
1
2
3
4
5
6

Diana es modista
12 es un nmero par
estas dos rectas son paralelas
todos los hombres son mortales
algunos deportistas son ciclistas
ningn loro vive en el polo norte

Solucin
1
2
3
4
5
6

Diana no es modista
No es cierto que 12 sea un nmero par 12 es un nmero impar
Estas rectas no son paralelas; estas rectas son concurrentes.
Algunos hombres son inmortales
ningn deportista es ciclista
algunos loros no viven en el polo norte

EL CONDICIONAL O IMPLICACION

Se dice que una proposicin compuesta por el condicional, si est formada por dos proposiciones simples entrelazadas
por la expresin: si., entonces,
La mayora de las proposiciones matemticas o teoremas tienen esta estructura
P
q

Antecedente consecuente

Hiptesis

conclusin

Se puede de enunciar de varias formas

p entonces q
p solo si q
que si p
p es suficiente para q
q es necesaria para p

Analicemos el valor de verdad para el condicional

1

Sean p y q verdaderas

pq

Es verdadera
Si se parte de una hiptesis falsa y nuestro razonamiento ha sido correcto nos conduce a una conclusin verdadera,
por lo tanto, la implicacin es verdadera.
2

Si p es verdadera y que es falsa:

pq
es falsa
Si la hiptesis es verdadera, nos conduce a una conclusin falsa, es porque hemos cometido un error en el
razonamiento y finalmente el condicional es falso.

Si

p es falsa y que es verdadera

Si se parte de una hiptesis falsa y razonando correctamente, podemos llegar a una conclusin verdadera. En caso, el
condicional es verdadero.
4

si p y q son falsas

pq
es verdadero
Si partimos de una hiptesis falsa y razonando correctamente podemos llegar a una conclusin falsa. Por tanto, el
condicional es verdadero.
p

V
V
F

V
F
V

pq
v
F
F

CONDICION NECESARIAS O SUFICIENTES

Analice las siguientes implicaciones:
1

P: Manuel Elkin Patarroyo es tolimense

q: Manuel Elkin Patarroyo es colombiano
Q: Manuel Elkin Patarroyo es tolimense entonces es colombiano.

En este caso, basta que Manuel Elkin Patarroyo sea tolimense para ser colombiano.
Es decir P es una condicin suficiente para q. En cambio. Es necesario que Manuel Elkin sea colombiano para ser
tolimense; es decir, q es una condicin necesaria para p.
2

P: Existe fuego
Q: Hay presencia de oxigeno

P
Q : Si existe fuego entonces hay presencia de oxigeno.
En este caso, es suficiente que haya fuego para comprobar la presencia de oxigeno: P es suficiente para q. En cambio, es
necesario que exista la presencia de oxigeno para que se produzca el fuego: q es necesaria para p.
3

P: El papa sale del cuerpo cardenalicio

Que: El cardenal Castrilln puede ser papa
q: Si el papa sale del colegio cardenalicio entonces el cardenal Castrilln puede ser papa.

Es decir, que es suficiente ser cardenal para ser papa: p es suficiente para q.
En cambio, es necesario ser cardenal para ser papa: q es necesario para p.

LA RECPROCA Y LA CONTRARRECPROCA
A partir de la implicacin o condicional p
q se puede obtener otros dos condicionales fundamentales cuando se
trabaja los teoremas. Estas dos condicionales son:

pq
1

La reciproca de

es q

La contrarrecproca de p

q es q

Ejemplo 1:
Si 3 es un nmero impar entonces (3)2 es impar
Hallar la reciproca y su valor de verdad
Reciproca: si (3)2 es impar, entonces 3 es impar.
El valor verdadero de ste condicional q es verdadero y p es verdadero, en el condicional es verdadero.
Contra recproca: si (3)2 no es impar, entonces 3 no es impar.
El valor de verdad de este condicional es q es falso y p es falso y el condicional es verdadero.

EL BICONDICIONAL

Se denomina bicondicional a la proposicin formada por dos proposiciones simples p y que conectada con la expresin:

pq

si y solo si, simblicamente lo podemos expresar, as:

pq

q p

Esta proposicin est formada por las implicaciones

y
, las cuales deben de tener el mismo valor de
verdad, para formar la equivalencia entre p y q; en consecuencia se dice que p es equivalente a q y se acostumbra a

pq

escribir
.
Esta equivalencia entre p y q, tiene ms de una traduccin que significan lo mismo:
p si y solo q
si p entonces q recprocamente
q si y solo p
si q entonces p recprocamente

TABLAS DE VERDAD PARA EQUIVALENCIA

pq

CONSTRUCCION DE TABLAS DE VERDAD

En la construccin de tablas de verdad debemos tener los siguientes hechos:

Determinar el nmero posibles de combinaciones. Si hay proposiciones, el nmero de combinaciones ser

Se debe procurar respetar el orden de los valores de verdad dentro de la tabla as por ejemplo:

23 8

2n

Si hay tres proposiciones, el nmero de combinaciones sern

; por lo tanto para primera proposicin sern 4
verdaderas y 2 falsas; para la segunda proposicin 2 verdaderas y 2 falsas; para la tercera: una verdadera y la otra falsa.

Si la ltima casilla o columna son todas verdaderas, se dice que la proposicin es una tautologa.

Ejemplos:

Construir la tabla de verdad para:

p q q p
p q p q p q p q p q

CONSTRUIR LA TABLA DE VERDAD APROPIADA PARA DEMOSTRAR O REFUTAR

q r

r s r s q s q s q r

A B

q r

qr

p q r p r p r q

AB

OBSERVACIONES:
En la ltima columna de una tabla de verdad pueden suceder 3 casos:
1

Si todos los valores son VERDADEROS, se dice que la proposicin es TAUTOLOGA.

Si todos los valores son FALSOS, se dice que la proposicin es una CONTRADICCION.

Si aparecen valores de verdaderos y falsos, se dice que la proposicin es una INDETERMINACION.

LEYES DEL ALGEBRA DE PROPOSICIONES

Las siguientes son las leyes de la lgica de proposiciones.

IDEMPOTENCIA

P P P
PP P
2

CONMUTATIVA

pqq p
pq q p
3

ASOCIATIVA

p q r

p q r

p q r

p q r

DISTRIBUTIVA

p q r p r q r
p q r p r q r
5

IDENTIDAD

p0 p

p 1 1

p00

p 1 p

COMPLEMENTO

p p 1

p p
7

LEYESE DE MORGAN

p q p q

p p 0

1 0, 0 1

 p q p q
11-LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una conjuncin es afirmar
que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia este hecho. Igualmente, una
disyuncin es presentar una eleccin entre dos cosas, sin importar en qu orden se presente esta eleccin. As pues,
p q s y slo s q p p y q equivale a q y p
p V q s y slo s q V p p q equivale a q p
1- Identidad: esta ley permite hacer equivalencia entre dos proposiciones de un mismo argumento.
12- LEYES DE MORGAN (DM)
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una conjuncin en una
disyuncin. Cuando se pasa de una a otra, se cambian los valores de afirmacin y negacin de los trminos de la
disyuncin/conjuncin as como de la propia operacin en conjunto, como podemos observar aqu:
pqpVq
(p V q) (p q)
Ejemplo 1:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
(pq)p(pp)(qp)

Ley Distributiva

F(qp)

Ley de Complementacin

(qp)

Ley de Identidad

Ejemplo 2:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
(pq) (qp)

(pq) (qp)

Ley de Morgan

(pq) (pq)

Ley de Conmutativa

p(qq)

Ley Distributiva

pF
p

Ley de Complementacin
Ley de Identidad

Ejemplo 3:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
p ( p q)

(pF) (pq)

Ley de Identidad

p(Fq)

Ley de Distributiva

pF

Ley de Identidad

Ley de Identidad

Ejemplo 4:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
p ( p q)

(pV) (pq)

Ley de Identidad

p(Vq)

Ley de Distributiva

pV

Ley de Identidad

Ley de Identidad

Estas leyes son formuladas por pares de debido a la naturaleza dual del Algebra de proposiciones.
2.- Ley de idempotencia p v p p
2.1 -Manuel es un catedrtico en la universidad nacional de Chiclayo o Manuel es un docente en la universidad Pedro Ruiz
Gallo.
2.2.-Estados Unidos es un pas altamente poderoso sobre nivel de los pases marginales o Estados Unidos es un pas con
hegemona sobre los pases tercer mundistas.
4.- Leyes asociativas
4.1. ( p ^ q) ^ r p ^ (q ^ r )
-Manuel es comunicador no obstante estudia computacin. Aunque tambin trabaja en la noche.
-Manuel es comunicador. No obstante estudia computacin aunque tambin trabaja en la noche.
4.2. (p v q) v r p v (q v r)
-Jos estudia marketing en las maanas a menos que estudie publicidad en las maanas o a no ser que trabaje por las
maanas.
5.- Leyes distributivas.
5.1. p (q v r ) (p q ) v (p r)
-Si Julio es un comunicador entonces puede ser un publicista o un periodista.
-Si Julio es comunicador entonces se dedica a la publicidad o si Julio es comunicador entonces se dedica al periodismo.
5.2. p (q v r ) (p q ) v (p r)
- Si Pedro es mdico entonces es un medico cirujano o un medico pediatra.
- Si Pedro es mdico entonces se dedica a la ciruga o si Pedro es medico entonces se dedica a la pediatra

ARGUMENTOS LOGICOS
Un argumento lgico es un razonamiento que parte de una serie de enunciados llamados premisas se puede llegar a un
resultado llamado CONCLUSION.
Se dice que el argumento es vlido si se asumen de todas las premisas son verdaderas por lo tanto la conclusin tambin
es verdadera. Si un razonamiento no es vlido se dice que es un sofisma o falencia.

EJEMPLOS
Verificar la validez de los siguientes argumentos.

 p1 : p q

p2 r q
1.

q: p r

Para demostrar la validez de un argumento debemos a partir del hecho que tenemos las proposiciones

p1 p2 pn

y tratar de llegar a la conclusin de la lgica.

Los cuatro ejemplos que se dan a continuacin corresponden a preguntas de este tipo. La explicacin de sus respuestas
indica la alternativa correcta para cada pregunta y el razonamiento que muestra la falsedad de las dems opciones.

DEMOSTRACION

pq
p1:
p2: r

p3:

q:

r
r

(recproca de p2)
(silogismo de p1 y p3)

Demuestre la validez del siguiente argumento

P1: p
q
P2: q V r
q:

Demostracin

P1: p
q
P2: q V r
P3: q

r (ley de la implicacin)

q:

r (ley del silogismo)

Demostrar que (p V q) (p V q)

Demostracin
( q V p) (q V p)
q V (p p)
qV O

ley conmutativa
ley distributiva
ley de complemento

ley de identidad

Ejemplo 4
Demostrar: (p V q) (q V r) (q V r)

pq

Demostracin
(p V q) (q V r) (q V r)
(p V q) [q V (r r]
(p V q) [q V o]
(p V q) q
(p q) V (q q)
(P q) V 0
pq

premisas
ley distributiva
ley complemento
ley identidad
ley distributiva
ley complemento
ley identidad

Ejemplo 5
Demostrar: [(p q r) V (p q r)]

pVr

Demostracin
[(p q r) V (p q r)] Ley premisa
[(p r q) V (p r q)] Ley conmutativa
[(p r) V (q V q)] ley distributiva
[(p q ) V 1] Ley complemento
[p r] Ley identidad
p V r Ley de Morgan

EQUIVALENCIA LOGICA
Sintcticamente, p y q son equivalentes si cada una puede probar a la otra. Semnticamente, p y q son equivalentes si
ambas tienen el mismo valor de verdad en cada modelo.La equivalencia lgica de p y q a veces se denota o bien . Sin
embargo, estos smbolos son tambin utilizados para denotar el bicondicional. La interpretacin propia depende del
contexto, y aunque ambos conceptos estn fuertemente relacionados, la equivalencia lgica es diferente de la
equivalencia material. Se tiene as que la afirmacin p si y slo si q es lgicamente equivalente al par de afirmaciones
Si p, entonces q, y si q, entonces p. Escrito con smbolos lgicos:.Ejemplos
Las dos sentencias siguientes son lgicamente equivalentes:
1

Si Lisa est en Francia, entonces ella est en Europa (en smbolos,

Si Lisa no est en Europa, entonces ella no est en Francia (en smbolos,

).
).

Sintcticamente, (1) y (2) son derivables cada una de la otra a travs de la regla de contraposicin. Semnticamente, (1) y
(2) son verdaderas en exactamente los mismos modelos (interpretaciones, valuaciones); a saber, aquellos en que Lisa est
en Francia es falso o bien Lisa est en Europa es verdadero.
Se tienen las siguientes relaciones; utilizando cuantificadores y conectivas lgicas:

Si: para todo x de A se cumple P(x), es equivalente a: no existe x en A que no cumpla P(x).

Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se cumple P(x).
En cuanto al cuantificador existencial nico puede considerarse una extensin por definicin en un lenguaje formal con
igualdad teniendo dada la equivalencia:

Si: existe un nico x en A que cumple P(x), es equivalente a: para todo x, y de A, que cumple P(x) y P(y), entonces
x es igual a y.
EJEMPLOS
1/2 = 2/4
2/3 = 4/6
mira esto hasta lo puedes hacer tu misma, elo caso es este
te explicare...
una fraccion indica en cuantas partes se divide un entero un numero entero,
el numero de arriba indica el numero de partes que se cuentan
mientrsas que el numero de abajo el numero de partes en que se divide una unidad
por ejemplo 1/2 nos dice que es la mitad
si quieres puedes leerlo tambien como 1 de 2
imagina que partes una manzana en 2 pedazos
tomas 1 de 2 o sea la mitad que es lo mismo que 1/2
si la divides en 4 pedazos y tomas uno, tienes 1/4 o uno de cuatro
si tomas 2 pedazos tienes 2/4 o dos de cuatro
que es lo mismo que la mitad (1/2)
en terminos matemticos
2/4 para hacerlo equivalente lo divides en un numero igual
en este caso elijo 2:
2 entre 2 = 1
4 entre 2 = 2
y ahi tienes la fraccion equivalente 1/2
pero tiene que ser numeros iguales
o multiplicarlo por numeros iguales
as por ejemplo tienes 2/3
multiplica por ejemplo
2*3=6
3*3=9
la fraccion equivalente que tienes es 6/9 (seis novenos )
as hazle
pon numeros a lo menso y multiplicalos o dividelos por numeros iguales y tienes las fracciones equivalentes:
te ayudo con unas

7/8 = 14/16
5/5 = 1
16/3 = 32/6
5/4 = 10/8
18/9=1/2
3/6 =9/18
9/8 = 27/24
3/5= 6/10