Matematická logika [VYŘEŠENO] (3 odpovědi)

bych vedet co konkretne chces dokazat, jestli vyse zminene pravidlo modus pones pro nejaky logicky kalkul nebo neco uplne jineho, protoze ... pojmy a považují je za zavedené. Právě dohledávání těchto pojmů (modus pones, axiomy logiky, odvozovací ...

Odvodzovanie formul vyrokovej logiky [VYŘEŠENO] (5 odpovědí)

>((A->B)->(A->C)) A3: (^A->^B)->((^A->B)->A) ^ je negacia dalej mam este pravidlo modus ponens MP a vetu o dedukci VD A priklad je nasledujuci: A->(B->(A^B)) Viem to upravit ...