こうしんしき
恒真式
1. tautologyLogic
2. Tautology (logic)In logic, a tautology (from the Greek word ταυτολογία) is a formula which is true in every possible interpretation. Philosopher Ludwig Wittgenstein first applied the term to redundancies of propositional logic in 1921; it had been used earlier to refer to rhetorical tautologies, and continues to be used in that alternate sense today. A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable.
Read “Tautology (logic)” on English Wikipedia
Read “恒真式” on Japanese Wikipedia
Read “Tautology (logic)” on DBpedia
Read “Tautology (logic)” on English Wikipedia
Read “恒真式” on Japanese Wikipedia
Read “Tautology (logic)” on DBpedia
Discussions
Log in to talk about this word.