Mapas de Karnaugh
PROPOSICIONES LÓGICAS.
PERLA YADIRA MEDRANO TREVIÑO
ANGEL URIEL REYES HERNANDEZ
EDGAR RICARDO GARCÍA OROPEZA
ISRAEL DE LARA VARGAS
ERIC MARTÍNEZ CASTAÑEDA.BICONDICIONAL.
En matemáticas y lógica, un bicondicional,
(también llamado equivalencia o doble
implicación, en ocasiones abreviado como
ssi, sii, o syss), es unaproposición de la
forma «P si y solo si Q» y afirma que
la proposición P será verdadera cuando y
exclusivamente Q también lo sea, así como
también P será falsa cuando Q lo sea. Otraforma de expresar el bicondicional es decir
que Q es una condición necesaria y
suficiente para P.
DEFINICIÓN.
La
doble implicación o bicondicional es cuando
el valor deverdad de un bicondicional «p si y solo si q» es
verdadero cuando ambas proposiciones (p y q) tienen el
mismo valor de verdad, es decir, ambas son verdaderas o
falsassimultáneamente; de lo contrario, es falso.
Se tiene así que la afirmación «p si y solo si q»
es lógicamente equivalente al par de afirmaciones «Si p,
entonces q», y «si q, entonces p».Escrito utilizando
conectivas lógicas :
De manera más precisa, el operador bicondicional está
definido mediante la siguiente tabla de verdad.
CÓMO SE LEE.
Normalmente seusan los símbolos ⇔ o ↔ para
denotar el bicondicional, quedando así:
P ↔ Q
|
P ⇔ Q
En inglés se abrevia iff” (If and only if)
Dos enunciados se dicen equivalentes cuandotienen el mismo valor de verdad, y se
simboliza con ≡. Este símbolo también puede
leerse "es equivalente a".
Conectivo lógico ↓
Ejemplos:
1.-Un ángulo es recto, si ysolo si, su medida es
de 90°.
p
⇔
q
2.-Es un cuadrilátero, si y solo si, tiene 4 lados.
P
⇔
q
3.- 4 es menor que 8, si y solo si, 4 es igual a 8.
p
⇔
q
V
F
Regístrate para leer el documento completo.