Tautología
En lógica, se le llama tautología a toda fórmula que es verdadera para toda asignación de valores de verdad. De un modo más formal, podemos definir una tautología como sigue: la fórmula A es una tautología si y solo si para toda asignación v, v(A) = V. En lógica proposicional, podemos reconocer una tautología mediante […]