DU5 Tablo pro PL
Požadavky na absolvování
Otevřené: čtvrtek, 1. prosince 2022, 00.00
Termín: čtvrtek, 8. prosince 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)\)