Na czym polega schemat Hempla-Oppenheima?
Dodatkowo chciałam zapytać o to, jak się robi zadania z teorii predykatów. Do czego służą prawa rachunku kwantyfikatorów?
Jak sprawdzić czy coś jest tautologią czy nie?
Przydałby mi się solidny, darmowy, wirtualny kurs logiki
.