DU5 Tablo pro PL
Abschlussbedingungen
Opened: Donnerstag, 1. Dezember 2022, 00:00
Due: Donnerstag, 8. Dezember 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)\)