DU5 Tablo pro PL
Требуемые условия завершения
Opened: четверг, 1 декабря 2022, 00:00
Due: четверг, 8 декабря 2022, 00:00
PG 10/4b Dokažte tablem:
\((\forall x)(\phi(x) \wedge \psi(x))\leftrightarrow (\forall x)\phi(x) \wedge (\forall x)\psi(x)\)