Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. A continuación hay una tabla con las conectivas más usuales y su definición mediante tablas de verdad:
1. CONJUNCIÓN:
La conjunción solo es verdadera cuando las dos proposiciones son verdaderas y es falsa en las demás:
2. DISYUNCIÓN:
Solo es falsa cuando las 2 proposiciones que la forman son falsas:
3. CONDICIONAL:
La condicional o doble implicación solo es falsa cuando la primera proposición o antecedente es verdadera y la segunda o consecuente es falsa:
4. BICONDICIONAL:
Es verdadera cuando las dos proposiciones que la integran tienen el mismo valor de verdad
No hay comentarios.:
Publicar un comentario