Доказательства законов логики Критерий соответствия законам логики пример