Prawdokrzew (Truth Tree) – logika dla humanistów

Abstract

W artykule przedstawiam i wyjaśniam graficzną metodę przeprowadzania logicznych dowodów - prawdokrzew. Swoją prezentację ograniczyłem do klasycznego rachunku zdań. Artykuł jest również propozycją polskiego tłumaczenia pojęć występujących w tej metodzie. Tak dobrałem polską terminologię, aby przez wywoływanie emocjonalnych obrazów omawiana metoda stała się bardziej zrozumiała i łatwiejsza do zapamiętania.