Proposiciones

Existen proposiciones simples y compuestas. Las compuestas tienen más de una proposición. Además las proposiciones también se pueden negar (símbolo ~), es decir, que se coloca su valor de verdad opuesto. Por ejemplo, si el valor de la proposición p es verdadero, ~p será falso.

Entre las proposiciones compuestas están las condicionales (Si..., entonces y se representa con una flecha ).  Estas también se pueden negar. 
Por ejemplo, ~(p→q) = p ^ ~q.  

Otra proposición compuesta es la bicondicional (si y solo si; y se representa con ↔). Al igual que las anteriores se  pueden negar. 
El resultado de su negación es: ~(p ↔ q) = (p ^ ~q ) v (q ^ ~ p).

Comentarios

Entradas populares de este blog

Las proposiciones

Las gráficas

Diferencia Simétrica y Complemento de un Conjunto