Рет қаралды 23,635
John Marschal
Sprawdzanie czy zdanie logiczne jest tautologią metodą "nie wprost" (tzw. metoda "nietabelkowa").