[일반] 놑북으로논리학 책 보고 있는데

[익명(14.39)]

왜 y하고 z 가정을 둘 다 하는 거임? yVz 면 둘 중 하나만 참이라고 가정해서 증명해도 되지 않음?

[익명(121.144)]

OR니까 Y가 참일 때 Z가 참일 때 각각 증명해야지

[익명(118.235)]

그건 or(V)이 대칭적(y V z = z V y)이라 할 수 있는거긴 함. 그렇기 때문에 각 항에 대해 전부 가정해보는 것