Краткое руководство по способам доказательства в логике с примерами