[일반] 이 명제는 참임?

[익명(211.202)]

'모든 명제는 참이거나 거짓이다'

이건 참임 거짓임??

[익명(203.229)]

배중률이잖아

[익명(61.255)]

https://leanprover.github.io/logic_and_proof/classical_reasoning.html