∀x(P(x) ∧ Q(x)) → r

c064babf-2feb-4676-9900-a13c909fd7d7

added on September 5, 2026 at 00:59


return home
share