Семантические доказательства: как они используются в логических рассуждениях