logical_consequence
{
// from 02logical-consequence-theory.pdf
정의:
U : a set of formulas
A : a formula
일 때,
A is a logical consequence of U, denoted U ⊨ A, iff every model of U is a model of A.
논리적_귀결 - aka entailment, - 관련표현: 그러므로, therefore, ∴, ⊨(
이중_턴스틸,
Double_turnstile), entails
찾아보니 ⊨말고⊧ and ∴말고⛬ 나오는데 이건 뭐지?
Logical_consequence
}
술어,predicate
soundness and completeness -
건전성,soundness {
건전성 Soundness } 과
완전성,completeness
명제,proposition
statement은?
관계,relation
p->q에서 p는 가정, q는 결론
역,converse // conversion
이,inverse
대우,contraposition // contrapositive Q: 이건?
https://en.wikipedia.org/wiki/Transposition_(logic)
p→q에 대해,
내포,implication ⇒ // imply
추론
연역,deduction
귀납,induction (
유도,induction와 같은 단어)
배중률,law_of_excluded_middle - writing