klasyczny rachunek zdan tom: klasyczny rachunek zdan musze nauczyc sie udowodniania czegos takiego (A−>(B−>C)) −> ( B−>(A−>C)) 1) (A−>(B−>C)) zalozenie 2) B zalozenie 3) A zalozenie 4) B−> C (1,3 RO) 5) C (2,4) RO 6) III ∊ T (1−5, TDW) czy moglby ktos wyslac jakis link gdzie to jest wytlumaczone albo cos rozjansic? Bo mam tylko podane tylko jakies kilka zasad ale nie wiem jak to dziala

chichi: wpisz w google dowody założeniowe będzie pewnie w czym szperać, jeden link podrzucam https://logic.amu.edu.pl/images/0/0b/Logikaradosna02.pdf

chichi: na youtube są nawet jakieś nagrania widzę, ale nie znam jakości tych materiałów

tom: ok posprawdzam