EVIDENCIA ( CÁLCULO LÓGICO )

El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos.
La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro(s) -premisa(s)- mediante la aplicación de reglas de inferencia.
Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V.
Las personas en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo; partimos de enunciados empíricos -supuestamente verdaderos y válidos- para concluir en …ver más…

Las expresiones del lenguaje natural tales como "...si y solo si...", "...equivale a...", "...es igual a...", "vale por...", "...es lo mismo que...", y sus equivalentes se sustituirán por el símbolo ↔
Llueve: p; Hace frío: q; Llueve si y solo si hace frío: p ↔ q
Uso de paréntesis:
1.- No se utiliza paréntesis en aquellos casos en que los conectores