2차 논리가 정확히 뭔가요

[스탈린(183.109)]

논리학 뉴비고요

제가 알기로는 주어에 변수를 넣으면 1차 논리

술어에 변수를 넣으면 2차 논리라고 알고 있는데

정확한 정의인가요?

어떤 x는 사람이다

ExH(x) 같은 경우가 1차논리라면

어떤 x는 모든 y이다가 2차논리 인가요?

엄밀하게좀 알려주실 뷴 ~

[익명(182.210)]

술어가 다른 술어의 항이 되는 거지. 괴델 신존재증명에 2차 논리가 쓰임.

[스탈린(183.109)]

의미가 잘 와닿지 않는데 기호표현적 예시가 있을까요

[익명(182.210)]

{P(φ)∧□∀x[φ(x)→ψ(x)]}→P(ψ)