[일반] 이 두 vacuously true가 다른거임?

[익명(183.102)]

X=empty 일 때 "∀a∈X : P(a)"

∀a∈X : Q(a)->ㅗ 일 때 "∀a∈X : Q(a) → P(a)"

이거 두개 완전 똑같은거 아님? 고전논리학에서 이거 두개가 형식적으로 다름??