Bicondicional

En matemticas y lgica, un bicondicional, tambin llamado equivalencia o implicacin doble, es una proposicin de la forma "P si y slo si Q", en la cual tanto P como Q son ambas ciertas o ambas falsas. Tambin se dice que Q es una condicin necesaria y suficiente para P.

Smbolos
Normalmente se usa el smbolo o para denotar esta coimplicacin, quedando as: . En espaol se usan las abreviaturas sii, ssi y syss, de modo que es equivalente a p sii q. En ingls se abrevia iff.

Definicin semntica
El valor de verdad de una bicondicional p si y slo si q es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, de lo contrario es falsa. Si p entonces q y si q entonces p. Escrito con smbolos lgicos: (pq) (qp).

Bicondicional

Otro tipo de proposicin que se presenta con frecuencia es de la forma p si, y solamente si, q que se suele abreviar p si q. Intuitivamente esta proposicin parece ser la combinacin de p --> q y q --> p A este conectivo lgico especial lo llamamos condicional y se denota por el smbolo <-->, entonces p <--> q es lo mismo que (p --> q) y (q --> p) o aplicando la definicin de la conjuncin, que vimos en una de las secciones anteriores, (p --> q) ^ (q --> p). El valor de verdad de las proposiciones Bicondicionales p <--> q obedece a la condicin: Si p y q tienen el mismo valor de verdad, entonces p <--> q, es verdadero. Si p y q tienen valores de verdad opuestos, entonces p <--> q es falso. Dicho de otra manera: si tanto p como q son verdaderos, entonces p <--> q es verdadero. Si tanto p como q son falsos, entonces p <--> q tambin es verdadero. Si p es verdadero y q falso, entonces p <--> q es falso. Si p es falso y q verdadero, entonces p <--> q tambin es falso

Veamos los ejemplos siguientes: 1.- 3 + 2 = 7 si, y solamente si, 4 + 4 = 8. Si se toma p como: 3 + 2 = 7 y q como: 4 + 4 = 8, entonces el valor de verdad de p, es falso, pero el valor de verdad de q es verdadero, luego entonces la bicondicional p <--> q es falsa. 2.- Londres est en Inglaterra si, y solamente si, Pars est en Francia. Sea p Londres est en Inglaterra y q Pars est en Francia, entonces tanto el valor de p, como de q, son verdaderos, es decir tienen el mismo valor de verdad, luego entonces la bicondicional p <--> q es verdadera. 3.- 10 es un nmero impar si, y solamente si, 6 es un nmero primo Si p es: 10 es un nmero impar y q es: 6 es un nmero primo, entonces se observa que tanto el valor de verdad de p, como de q, son falso, es decir tienen el mismo valor de verdad, luego entonces la bicondicional p <--> q es verdadera.

Hasta ahora, hemos visto las definiciones del uso de conectivos en Lgica y algunos ejemplos muy sencillos con el fin de facilitar la comprensin de dicho estudio A manera de recapitulacin en la seccin siguiente vers una serie de ejercicios que abarcan todo lo que hemos visto hasta ahora. Te aconsejo que los veas y trates de resolverlos t mismo, si esto no es as, entonces podrs ver la respuesta a cada ejercicio. 1.3.4 Bicondicional La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q su tabla de verdad est dada por: p q pq V V V V F F F V F F F V

Jerarqua de Operadores. Combinando los operadores anteriores podemos formar nuevas expresiones. En trminos formales la negacin de p, deber ser ( p), as como la conjuncin de p y q sera (p ^ q). Con el uso de parntesis evitamos la ambigedad, por ejemplo p ^ q podra significar dos cosas distintas Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^ q)). En la prctica para no usar tantos parntesis se considera que el operador tiene jerarqua sobre ^, v, , . As p ^ q significa (( p)^ q). En algunos casos se considera ^, v tienen mayor jerarqua que por lo que p q v r sera (p (q v r)) y tambin que ^ tiene prioridad sobre v, por lo que p ^ q v r sera (p ^ q) v r. As por ejemplo, en electrnica, para representar circuitos lgicos se utiliza + en lugar de v y en lugar de ^. Por lo que pq+r es ((p ^ q) v r). En estos apuntes no se considerar jerarqua en ninguno de los operadores binarios ^, v, , por lo que utilizaremos parntesis. Slo tiene prioridad sobre los dems operadores. Esto nos ahorra algunos parntesis, por ejemplo: ((( p) ^ q) v r) se representa por ( p ^ q) v r. 1.3 TABLAS DE VERDAD Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos, , , , , ,como: no, o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa. Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada. P 1 0 P 0 1

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes. P 1 1 0 0 Q 1 0 1 0 PQ 1 1 1 0

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta. P 1 1 0 0 Q 1 0 1 0 PQ 1 0 0 0

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad. P 1 Q 1 P Q 1

1 0 0

0 1 0

0 1 1

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad. P 1 1 0 0 Q 1 0 1 0 P Q 1 0 0 1

Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por unos.

Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar formada nicamente por ceros.

Ejercicios 1.3

1. Sean P, Q, R y S frmulas. Si se sabe nicamente que P es verdadero, Qu puede afirmarse del valor de verdad de cada una las proposiciones siguientes?

PQ RP RP S P

RP PQ PPS PQR

S P R (S P) P S (Q P) QPRQ

2. Qu puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos?

Si P es falsa. Si P es falsa, Q es verdadera y R es verdadera.

3. Sean P, Q y R frmulas , entonces:

Si R P Q P es falsa y P es falsa; Qu puede afirmarse de R y de Q?. Si Q Q P es verdadera y P es falsa; Qu puede afirmarse de Q?. Si R P Q P es falsa; Qu puede afirmarse de P, Q y R?. Si (Q R) (P Q) R es falsa; Qu puede afirmarse de P, Q y R?. Si (P Q) ( R P R Q) es verdadera; Qu puede afirmarse de P, Q y R?

4. Sean P, Q y R frmulas. Determinar cuales de las siguientes proposiciones son tautologas:

PQPR PPQ P (Q P) (P (Q P)) Q

(P Q ) ( Q P ) (P Q) (P Q) P ((P Q) R) P ( P R)