Logika na studiach Klasyczny Rachunek Zdań Klauduss: A więc tak mam na studiach coś co się nazywa Klasyczny Rachunek Zdań jednakże ominąłem pare ćwiczeń i wykładów i nie wiem co to jest czy byłby mi ktoś w stanie wytłumaczyć jak to się robi i co się dzieje na którymś z przykładów? [A→(B→C)]→(A⋀B→C) (A⋀B→C)→[A→(B→C)]

Janek191: Czy to jest rachunek zdań z logiki matematycznej , czy formalnej ?

Klauduss: Nie mam pojęcia

Klauduss: Podobno robi się to jakoś tak, że pare punktów 1. cośtam (założenie) 2. cośtam (założenie) 3. cośtam (założenie) 4. Tu jakieś reguły odrywania Ale kompletnie nie wiem o co chodzi a na internecie nie znalazłem niczego co mogłoby mi pomóc.

Klauduss: Jest ktoś w stanie mi to wytłumaczyć ?