이산수학

EX)명제를 변수로 표현 : p, q, r, s 등등등명제가 참이면 T 거짓이면 F명칭(?): 복합명제: 하나 또는 여러 개의 명제를 조합하여 만듦.Nagation(부정): ㄱ Conjuction(논리곱, 명제끼리 곱함을 뜻함, or): ^Disjuntion(논리합,

모든 사람은 죽는다. + 소크라테스는 사람이다.라는 두 명제가 주어질 때 소크라테스는 죽는다 라는 것을 증명하기엔 아직 부족함객체 특진 관계 등이 필요함. "추론"술어논리:변수: X,Y,Z명제 함수: P(x), M(x),한정기호: 명제 함수는 명제의 일반화.X 는 3보