Viernes 24 de Junio

Negación de la condicional y la bicondicional
"Si la tierra es un planeta, entonces una estrella es un astro".
p: La tierra es un planeta
q: Una estrella es un astro
Proposición compuesta: (p--->q)
Negción; ~(p--->q)
Negación y su equivalente ~(p--->q)=p^~q)
La negación de la proposición es:
"La tierra es un planeta y una estrella no es un astro"
Leyes De Morgan 
Las leyes de De Morgan son una parte de la lógica proposicional y analítica, creada por Augustus De Morgan. Las leyes de De Morgan son muy útiles cuando se quieren encontrar equivalentes para proposiciones que se obtienen por negación de proposiciones compuestas.
"La negación de una conjunción equivale a la disyunción de las negaciones".
~(p^q)=~p^~q
"La negación de una disyunción equivale a la conjunción de las negaciones".
Operaciones Proposicionales
Dadas dos o más proposiciones simples, de las cuales se conocen su valor de verdad, realizar operaciones proposicionales es determinar el valor de verdad de la proposición compuesta.