https://inf.run/mrkvD Expansion of Knowledge(지식의 확장)참으로 알고있는 것으로부터 논리적인 과정을 통해 새로운 참을 이끌어내는 과정 Boolean Values True(참)False(거짓) Propositions(명제) True, False로 판단할 수 있는 문장 p1 : 모든 사람은 죽는다. ⟶ True(1) Axioms(공리)참으로 증명없이 받아들이는 명제 Conditions 변수에 따라 True, False가 달라지는 식 항상 True이거나 False이면 각각 true proposition, false proposition으로 생각한다. ex)x^2 = 4 -> true , if x=2 or x=-2 false , if..
