>>238
ありがとうこざいます^^

ト∀x(P(x)∧Q(x))⊃P(a)
を証明せよ。

Fから始めた過程もお願いします!!