Deductions 1.3

Deduceri este un software educațional conceput pentru a ajuta elevii să învețe dovezi în logica formală. Acesta este destinat a fi utilizat de către instructori și studenți de cursuri logice la nivel de colegiu în filosofie, matematică și informatică....