En el nivel más básico, una sentencia podría combinar declaraciones más simples usando conectivas lógicas. A menudo hacemos uso de variables, y cuantificamos sobre esas variables. Cómo resolver la ver...En el nivel más básico, una sentencia podría combinar declaraciones más simples usando conectivas lógicas. A menudo hacemos uso de variables, y cuantificamos sobre esas variables. Cómo resolver la verdad o falsedad de una afirmación basada en estos conectivos y cuantificadores es de lo que se trata la lógica. A partir de esto, podemos decidir si dos declaraciones son lógicamente equivalentes o si una o más afirmaciones (lógicamente) implican otra.