Bicondicional

Sean p y q dos proposiciones entonces se puede indicar la proposicin

bicondicinal de la siguiente manera:
p q Se lee "p si solo si q"
Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es
falsa si y solo si q tambin lo es. Ejemplo; el enunciado siguiente es una
proposicin bicondicional
"Es buen estudiante, si y solo si; tiene promedio de diez"
Donde:
p: Es buen estudiante.
q: Tiene promedio de diez.
por lo tanto su tabla de verdad es.

P q p q
1 1 1
1 0 0
0 1 0
0 0 1

A partir de este momento, ya se est en condiciones de representar cualquier
enunciado con conectores lgicos.
Ejemplo.
Sea el siguiente enunciado "Si no pago la luz, entonces me cortarn la corriente
elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si
me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si solo si
soy desorganizado"
Donde:
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: soy desorganizado.
(p q) [ p (r s) ] [ (r s) t ] w
Al consultar un glosario buscamos el significado de las palabras a travs de su
definicin. Pero la definicin es solamente la puerta de entrada del camino que
conduce a ese significado. Por definicin, la definicin tiene que ser concisa. Debe
expresar la esencia del concepto o cosa que se define. Pero el verdadero
significado se establece en su relacin con otros conceptos y, sobre todo, se
establece en el uso.
Los objetos matemticos (y no matemticos) tienen cualidades, atributos. En el
lenguaje natural, las oraciones predican atributos de un objeto: "el rombo es un
paralelogramo con sus cuatro lados iguales". (Como se sabe, la estructura bsica
de la oracin es sujeto+predicado: "el rombo" es el sujeto, el resto de la oracin es
el predicado.) En la definicin, el sujeto es lo que el predicado define, y el
predicado es la definicin del sujeto.
La definicin clsica tiene dos partes o trminos: el gnero y la diferencia
especfica. El gnero ubica al sujeto (la cosa a definir) en una clase de cosas que
si bien comparten atributos, tambin presentan diferencias. La clase de los
paralelogramos admite muchos tipos de figuras geomtricas: el rectngulo, y el no
rectngulo. Basta con que tengan sus dos pares de lados opuestos paralelos.
Pero el rombo se distingue de otras clases de paralelogramos por tener sus cuatro
lados iguales: sta es su diferencia especfica. Especifica una especie (el rombo)
dentro del gnero de paralelogramos. La funcin lingstica de la diferencia
especfica es calificar (adjetivar) al gnero, restringiendo as su significado y
delimitando una especie.
Es conveniente aclarar que una misma clase podra admitir dos definiciones: "el
cuadrado es un rectngulo que tiene sus cuatro lados iguales" o "el cuadrado es
un rombo que tiene sus cuatro ngulos iguales". Pero, en ese caso, ambas
definiciones deben ser equivalentes, es decir, de cualquiera de ellas debe poder
deducirse la otra como una propiedad de la clase definida.
La cuestin de la condicin necesaria y
suficiente
La condicin necesaria y suficiente (para que otra condicin se cumpla o sea
verdadera) es una relacin entre dos proposiciones p y q. Por ejemplo,
considerando la clase de figuras geomtricas llamada paralelogramo, la
condicin "diagonales iguales" es una condicin necesaria y suficiente para que la
figura geomtrica sea un rectngulo (es decir, para que el paralelogramo tenga
todos sus ngulos interiores iguales). "Paralelogramo que tiene sus dos
diagonales iguales" es una definicin alternativa de rectngulo, debido a que es
equivalente a "paralelogramo que tiene todos sus ngulos iguales". Es decir, de
cualquiera de ellas se puede deducir la otra. (Se deja como ejercicio para el lector
el hacer las deducciones.)

Pero veamos otro ejemplo. Consideremos la proposicin "Si un cuadriltero es
rectngulo entonces es paralelogramo". "Paralelogramo" es condicin necesaria
para ser un rectngulo, y ser un rectngulo es condicin suficiente para ser un
paralelogramo.

Otro ejemplo ms. Si Pedro es tamaulipeco entonces Pedro es mexicano.
Tenemos dos clases: mexicanos y tamaulipecos. Notemos que tamaulipeco es
una clase incluida en la clase mexicano. Por esa razn, ser mexicano es condicin
necesaria para ser tamaulipeco (si no es mexicano no puede ser tamaulipeco). Al
mismo tiempo, ser tamaulipeco es condicin suficiente para ser mexicano (basta
con ser tamaulipeco para ser mexicano).

Desde el punto de vista de la lgica de proposiciones, en la proposicin
compuesta "si pentonces q", p es condicin suficiente para q, y q es condicin
necesaria para p. Y para que una de las proposiciones sea condicin necesaria y
suficiente para la otra, de cada una de ellas se debe poder deducir la otra, es
decir, ambas proposiciones, p y q, son lgicamente equivalentes, Este hecho se
expresa en la proposicin "p si y slo si q".
En la lgica aristotlica, la equivalencia de dos proposiciones se expresaba
diciendo que cualquiera de ellas "es convertible" en la otra. (Cohen, M. y Nagel,
E., Introduccin a la lgica y al mtodo cientfico, vol 2, p. 55, Amorrortu, Buenos
Aires 1979.) Desde la perspectiva moderna, "convertible" significara "condicin
necesaria y suficiente" --el ejemplo de Aristteles, nos dicen Cohen y Nagel, es
desafortunado: "A es un hombre si y slo si es capaz de aprender gramtica".
(Como se sabe, en la antigedad se defina al hombre como animal racional.)
Condicin necesaria y suficiente
Una implicacin es una sentencia de la forma que nos
dice que si se cumple la condicin , entonces resulta
inevitable tener como resultado . Por ejemplo la sentencia
lgica Si soy Chileno entonces soy Latinoamericano es
verdadera. Cmo funciona? Fcil. Si necesitas saber si una
persona es Latinoamericana(LA), basta con preguntarle si
es chileno. Si la persona es Chilena, entonces sabes
inmediatamente que es Latinoamericano. Esto quiere decir
que para saber si una persona es LA, es suficiente saber
que es chilena. Por eso decimos que la proposicin es
condicin suficiente en la implicancia.
Qu sucede si la persona te responde que no es Chileno?
Podemos afirmar que no es Latinoamericano? Por supuesto
que no. Porque podra ser Argentino o Peruano y ser
Latinoamericano. Un error comn que cometen muchas
personas ajenas a la lgica es afirmar
no dice que
( donde es la negacin de )en nuestro caso no ser
Chileno no implica no ser Latinoamericano, ya que ser
Peruano implica ser Latinoamericano
Por esto mismo la condicin ser Chileno es condicin
suficiente, pero no es condicin necesaria. es decir , no es
NECESARIO ser chileno para ser LA.
Lo que si sabemos es que si una persona no es LA,
entonces no es Argentino. Esto es lo que entendemos como
contrarecproca.
equivale a
Debido a estoy decimos que es LA es condicin necesaria en
la sentencia.

Si sabemos que alguien es LA, no podemos asegurar que
sea Argentina (no es informacin suficiente) pero es una
condicin bsica, una condicin necesaria para serlo, que si
no se cumple, no se puede tener que la persona sea
Argentina.
Entender estos roles de condicin suficiente y necesaria en
una implicancia ser la base para poder entender y aplicar
el proceso de demostracin por contradiccin o reduccin al
absurdo que escribir en el siguiente artculo
Rectas Paralelas, coincidentes y perpendiculares
Dos rectas son paralelas cuando sus pendientes son iguales y sus coeficientes de posicin distintos, o sea
L1: y = m1x + n1
L2: y = m2x + n2,
Entonces L1 // L2 s y slo si m1 = m2
Ejemplo: Las rectas y = 4x + 5 ; y = 4x - 2 son paralelas.
Dos rectas son coincidentes cuando sus pendientes son iguales y sus coeficientes de posicin iguales, o sea
L1: y = m1x + n1
L2: y = m2x + n2,
Entonces L1 coincidente con L2 s y slo si m1 = m2 y n1 = n2
Dos rectas son perpendiculares cuando el producto de sus pendientes es -1, o sea
L1: y = m1x + n1
L2: y = m2x + n2,
Entonces L1 L2 s y slo si m1 m2 = -1
Ejemplo:
L1: y = -2x + 3
L2: y = 0,5x - 4
Entonces L1 L2 ya que -2 0,5 = -1
Rectas paralelas
Dos rectas paralelas se pueden describir en una variedad de maneras:
Dos rectas en un plano que jamas interceptan.
Dos rectas que mantienen una distancia constante entre ellas.
Dos rectas con pendientes iguales.
Para resolver problemas matemticos, generalmente lo mas fcil es caracterizar rectas
paralelas como dos rectas con pendientes iguales.
Ejemplos:
Ejemplo 1: Las rectas y = 4 3 x + 2 y y = 4 3 x + 5 son paralelas.



Ejemplo 2: Sigue las instrucciones a continuacin en la aplicacin siguiente y
observa los efectos de distintos cambios en las frmulas en las grficas de las
rectas:
1. Mueve el botn m
1
hasta que las dos rectas sean paralelas
2. Ahora, mueve el botn b
1
desde b
1
= -5 hasta b
1
= 5. Cambiar el intercepto b
1
no
cambia la pendiente de la recta. As el valor del intercepto no tiene ningn efecto en
si las rectas son o no paralelas. Si las pendientes de las dos rectas son iguales,
entonces las rectas son paralelas.
3. Mueve los botones rojos hasta cambiar la frmula de la recta 1 a y = 2x +1. Luego
mueve los botones azules para encontrar cuatro formulas de cuatro rectas paralelas
a y = 2x + 1.
4. Mueve los botones rojos hasta cambiar la frmula de la recta 1 a y = 3x + 4. Luego
mueve los botones azules para encontrar cuatro formulas de cuatro rectas paralelas
a y = 3x + 4.

Ejemplo 3: Encuentra la ecuacin de la recta que pasa por el punto (3,2) y es
paralela a la recta y = 2 x + 3.
Solucin:
1. La pendiente de y = 2 x + 3 es igual a 2.
2. La pendiente de una recta paralela a y = 2 x + 3 tiene que ser 2
tambin. As, la recta paralela debe tener una frmula y = 2 x + b.
3. Si la formula de la recta es y = 2x + b, todo que falta es encontrar
el valor del intercepto b. Si la recta pasa por el punto (3,2), al
sustituir 3 para x en la frmula el resultado (el valor de y) tiene que
ser 2. As:
Al sustituir 3 para x y 2 para y en la frmula y = 2x + b,
da 2 = 23 + b
Ahora se puede resolver para el valor de b que har la
ecuacin cierta:
2 = 6 + b
2 6 = b
4 = b
4. As la frmula de la recta que pasa por el punto (3,2) y es paralela
a la recta
y = 2x + 3 es y = 2 x 4
5. Verificacin
y = 2x + 2 y y = 2x - 4 tienen la misma pendiente 2. Por lo
tanto son paralelas.
El punto (3,2) satisface la formula y = 2x - 4 porque al
sustituir 3 para x y 2para y resulta:
2 = 23 - 4, lo cual es cierto.
Asi y = 2x - 4 es paralela a y = 2x + 3 y pasa por el punto (3,2). Se
puede visualziar con las grficas de las dos rectas.







Rectas perpendiculares
Dos rectas perpendiculares se describen con frecuencia en una de dos maneras:
Dos rectas que forman ngulos de 90 grados donde intersecan.
Dos rectas de un plano donde el producto de sus pendientes es 1.
Para resolver problemas matemticos, la caracterizacin ms utilizada es: dos
rectas donde el producto de sus pendientes es 1 son perpendiculares.
Ejemplos:
Ejemplo 1:Si la pendiente de una recta es 2 3 , entonces para cada 3 que aumenta
la coordenada de x mientras se mueve desde la izquierda hacia la derecha en esa
recta la coordenada de y aumenta 2.
De acuerdo a la caracterizacin, una recta perpendicular a esa tendra
pendiente 3 2 . En la recta perpendicular, para cada 2 que aumenta la
coordenada de x mientras que se mueve de izquierda a derecha la coordenada
de y disminuye 3. (En otras palabras para cada 3 que aumenta la coordenada
de y mientras que se mueve desde abajo hacia arriba, la coordenada
de xdisminuye 2.)


Ejemplo 2: Sigue las instrucciones a continuacin en la aplicacin subsiguiente y observe
los efectos de distintos cambios frmulas en las grficas de las rectas:
1. Mueve el botn m1 hasta que las dos rectas son perpendiculares
2. Ahora, mueve el botn b1 desde b1 = 5 hasta b1 = 5. Cambiar el intercepto b1 no
cambia la pendiente de la recta. As el valor del intercepto no tiene ningn efecto en
si las rectas son o no son perpendiculares. Si el producto de las dos pendientes es
1, entonces las rectas son perpendiculares.
3. Mueve los botones rojos hasta cambiar la frmula de la recta 1 a y = 2x +1. Luego
mueve los botones azules para encontrar cuatro formulas de cuatro rectas
perpendiculares a y = 2x + 1.
4. Mueve los botones rojos hasta cambiar la frmula de la recta 1 a y = 3x + 4. Luego
mueve los botones azules para encontrar cuatro formulas de cuatro rectas
perpendiculares a y = 3x + 4.

http://quiz.uprm.edu/tutorial_es/Lin_Eq_2v_p2/linear_eq_right.xhtml
"Paralelismo y perpendicularidad"

Recordemos lo que son rectas paralelas y lo que son rectas perpendiculares para entrar al estudio
de estas condiciones en la geometra analtica:


Rectas paralelas:
Son aquellas que equidistan en todos sus puntos (mantienen la misma distancia
nunca se acercan ni alejan en todo lo largo).


En geometra analtica la condicin que debe tener una recta para ser paralela a otra es que sus
pendientes sean iguales.


La recta AB es paralela a la recta CD si y solo si mAB es igual a la mcd




la ecuacin queda as: mAB = mcd









En este ejemplo vemos que ambas pendientes son 0.67 por lo tanto son rectas paralelas para ello
pasaremos a la demostracin matemtica:


A(2,6); B(-4,2) forman la recta AB C(2,-7); D(8,-3) forman la recta CD


calculemos ambas pendientes para comprobar si son paralelas y nos deben dar pendientes
iguales:



m = (Y2 -Y1) / (X2 -X1) m = (Y2 -Y1) / (X2 -X1)


m = (6 -2) / (2 -(-4)) m = (-3 -(-7)) / (8 -2)


m = (4) / (2 +4 ) m = (-3 + 7) / (6)

m = 4 / 6 m = 4 / 6


Son iguales por la tanto las rectas son paralelas







Recordemos dos rectas son perpendiculares cuando se intersectan y forman ngulos rectos.





Bien ahora para que una recta sea perpendicular a otra sus pendientes al ser
multiplicadas tendrn un producto igual a -1.


Es decir:
mAB mcd = -1


En el ejercicio anterior la pendiente mAB= -2.50 y mcd =0.40 entonces tenemos que:




(-2.50) (0.40) = -1 por lo tanto las rectas son perpendiculares
http://bloggeometriaanalitica.blogspot.mx/2011/01/geometria-analitica.html