목록DiscreteMathematics (1)

sollog

DM 3

목표 show (prove) that the Socrates Example Returning to the Socrates Example 우선 다음과 같이 Max(x), Mortal(x) 로 정의를 한다. 두번째로는, 전제를 깔아준다. 다음 사진에서는 두가지 전제를 해주었다. 중간 과정이다. 모든(남자는 치명적이다), 남자 (소크라테스) - - - - - - - - - - - 치명적인 (소크라테스) -> 소크라테스는 치명적이다 정의 , 전제 후에 결론을 내려준다. -> 소크라테스는 치명적이다 Valid arguments An arguments in propostional logic - a sequence of propositions 명제의 순서 - All but the final proposition ar..
자기계발/Study 2023. 10. 18. 01:52
이전 Prev 1 Next 다음