명제논리에서.. pv~p 맘대로 도입 가능??

[익명(175.208)]

뭐 하나 확실한거에 붙혀서 이어야 하나..

책 사기 전에 예전 기억 더듬어서 문제 풀고 있는데 하아..ㅠㅠ

[익명(175.208)]

아 너무 글을 못썼넹.. 증명할 때 필요해서 덧붙히고 싶은데 명제논리에선 pv~p는 걍 참이니까 마음대로 도입해도 되나 하는 질문임 ㅠㅠ