Report - A B A A B A B - formal.iti.kit.edubeckert/teaching/Logik-SS06/04Aussagenlogi... · Ein erster Kalkül: Wahrheitstafelmethode Beispielformel = A _B KB = (A _C) ^(B _:C) Überprüfen

Please pass captcha verification before submit form