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.
Otra proposición compuesta es la bicondicional (si y solo si; y se representa con ↔). Al igual que las anteriores se pueden negar.
Por ejemplo, ~(p→q) = p ^ ~q.
El resultado de su negación es: ~(p ↔ q) = (p ^ ~q ) v (q ^ ~ p).
Comentarios
Publicar un comentario