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.
Télécharger des fichiers
Règles de citation
Licence
Ce travail est disponible sous licence Creative Commons Attribution - Pas d’Utilisation Commerciale 4.0 International.