Can I read Tautologías y Satisfacibilidad en Lógica on EtoBox?
Tautologías y Satisfacibilidad en Lógica by barbosaalejandro085 is a document available to read on EtoBox.
What is Tautologías y Satisfacibilidad en Lógica about?
El documento presenta las demostraciones de que ciertas proposiciones lógicas son tautologías o satisfacibles pero no tautologías. Se analizan proposiciones como ((φ ≡ ψ) ≡ (ψ ≡ φ)), ((φ ≡ true) ≡ φ), ((φ ∨ false) ≡ φ), entre otras, usando tablas de verdad y las definiciones de tautología e insatisfacibilidad. También se demuestra que un conjunto de proposiciones es insatisfacible si y solo si para cualquier valuación al menos una pro
- Author
- barbosaalejandro085
- Language
- ES