Talk:Equivalence of Definitions of Logical Consistence
Jump to navigation
Jump to search
Can someone who is familiar with the subject judge whether this should be a definition equivalence or a "equivalent characterizations" page? --barto (talk) 17:13, 8 September 2017 (EDT)
- Actually what should happen here is that Definition:Logically Consistent is replaced by different terminology. This page touches on equivalence of being (syntactically) consistent, and (semantically) satisfiable, and as such veers close to the ground of soundness and completeness theorems. I have put considerable effort in sorting out this terminology, which is an idiosyncratic mess throughout the literature. — Lord_Farin (talk) 06:05, 9 September 2017 (EDT)
- For future reference:
Definition:Logically Consistentreplaced by Definition:Consistent (Logic)/Set of Formulas/Propositional Logic/Definition 2. — Lord_Farin (talk) 14:50, 15 November 2017 (EST)
- For future reference: