Quod Erat Demonstrandum

PC Ad Dominum Games

Descubra a diversão desafiadora de validar provas lógicas, começando com cálculo proposicional simples e terminando com cálculo de predicado multi-domínio complexo. Prove ser um mestre de pensamento lógico!