mathematica.gr

είναι όλες οι ταυτολογίες κανόνες συμπεράσματος και όλοι οι κανόνες συμπεράσματος ταυτολογίες;
στο προτασιακό λογισμό