Desenredando la ciencia
Desenredando la ciencia Condicionales o implicaciones: Un enunciado condicional tiene la forma "Si A entonces B", donde A es el antecedente y B es el consecuente . Un enunciado condicional es falso únicamente cuando el antecedente es verdadero y el consecuente es falso . En todos los demás casos (antecedente falso, consecuente verdadero; antecedente falso, consecuente falso; antecedente verdadero, consecuente verdadero), el condicional es verdadero. Por ejemplo, "Si solo un tsunami azota Buenos Aires, la ciudad se inunda" es un condicional.
Negaciones: Un enunciado negativo se forma al negar un enunciado simple o complejo. La negación de un enunciado invierte su valor de verdad : si el enunciado original es verdadero, su negación es falsa, y si el enunciado original es falso, su negación es verdadera. Por ejemplo, la negación de "Marte está habitado" es "Marte no está habitado".
Además de esta clasificación basada en las conectivas, el capítulo introduce la noción de modalidades de los enunciados, distinguiendo entre enunciados singulares, universales, existenciales y probabilísticos .