{(∀x)(∀y)Fxy ∨ (∀x)(∀y)Gxy} (∀x)(∀y)(Fxy ∨ Gxy)
이 문제 증명하는 건데 도와주시면 감사하겠습니다.
이 문제를 설명해 보셔요. 너무 짧게 써서 무슨 문제인지...
{...}로부터 그 다음 문장을 증명하는 거라면, V-E 규칙과 A-E, V-I, A-I 네 가지 규칙만 쓰면 증명할 수 있습니다.
이 문제를 설명해 보셔요. 너무 짧게 써서 무슨 문제인지...
{...}로부터 그 다음 문장을 증명하는 거라면, V-E 규칙과 A-E, V-I, A-I 네 가지 규칙만 쓰면 증명할 수 있습니다.