Operadores lógicos de enunciados, tablas de insumo-producto, y reglas de implicación
Trabajar con la lógica proposicional significa trabajar con un lenguaje diseñado para expresar argumentos lógicos con precisión y claridad. Para hacer uso de este lenguaje de la lógica, lo que necesita saber lo que los operadores utilicen, las tablas input-output para los operadores, y las reglas de implicación.
Esta tabla presenta los operadores lógicos oracionales:
Las siguientes tablas ofrecen tablas de entrada-salida para los operadores lógicos oracionales:
Lógica ayuda a llegar a conclusiones, que se hace con la ayuda de reglas de implicación para la lógica proposicional: