Jueves 23 de Junio

Bicondicional o doble implicación 

La doble implicación o bicondicional solo es verdadera si ambas proposiciones tienen el mismo valor de verdad.
Ejemplo: 
p: Una semana tiene 7 días V
q: Un año tiene 12 meses. V
Proposición compuesta p<--->q
Valor de verdad V<--->V=V
Leyes de Morgan:
Las leyes de Morgan son una parte de la lógoca proposicional y análitica, creada por Augustus De Morgan.
Las leyes de Morgan son muy útiles cuando se quieren encontrar equivslentes para proposiciones que se obtienen por negación de proposiciones compuestas.
Ejemplo:
"Es verano y no hay nieve"
" No es verano o hay nieve"