1. 철수는 사람이다


2. 사람은 죽는다


3. 철수는 죽는다



이걸... 명제논리에서 쓰는 화살표(->) 로 연결하는게 가능한가요?


그러니까 


철수->사람->죽는다


따라서 철수->죽는다?????????


이렇게는 안될거같고


왜냐하면 철수 자체는 진리값이 없으니까요?


그럼

(x는 철수)->(x는 사람)


(x는 사람)->(x는 죽는다)


(x는 철수)->(x는 죽는다)


이렇게 하나요?


이게 명제가 맞나요? x라는 변수가 있으니 명제가 아니라고 하는거 같던데


이건 무슨논리라고 하나요? 1차논리?

1차 논리는 명제논리를 포함하나요?


1차논리는 완전성과 무모순성이 증명되었나요?


어차피 인공지능한테 물어도 인공지능마다 말하는게 달라서 못믿겠음..


해답좀..