Konstruując odpowiednią formułę rachunku zdań sprawdzić, czy prawdziwe jest zdanie:
Jeżeli 13 dzieli się przez 2, to z faktu, że 13 nie dzieli się przez 2 wynika, że 13 dzieli się przez 3. Czy otrzymana formula jest tautologią?

prosiłbym o tabelkę