La lógica proposicional se ocupa de las proposiciones y de las relaciones entre las mismas. Estas relaciones se dan a través de operadores lógicos. Pero lo que realmente nos interesa se resume así:
La conjunción de dos proposiciones, solo es verdadera cuando ambas proposiciones son verdaderas.
La disyunción de dos proposiciones p q solo es falsa cuando ambas proposiciones son falsas, es verdadera en los demás casos.
La implicación de dos proposiciones solo es falsa cuando la primera proposición es verdadera y la segunda es falsa, ya que una verdad no puede implicar una falsedad.
La proposición p q es verdadera cuando p q tienen el mismo valor de verdad.
0 comentarios:
Publicar un comentario