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.
Pobierz pliki
Zasady cytowania
Licencja
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne 4.0 Międzynarodowe.