DU5 Tablo pro PL
Completion requirements
Opened: Thursday, 1 December 2022, 12:00 AM
Due: Thursday, 8 December 2022, 12:00 AM
PG 10/4b Dokažte tablem:
\((\forall x)(\phi(x) \wedge \psi(x))\leftrightarrow (\forall x)\phi(x) \wedge (\forall x)\psi(x)\)