Report - Mathematische Logik - math.uni-tuebingen.de · Logik 3 (c) es gibt genau ein Paar von Aussagen (A;B), so dass C =(A∨B): Beweis. Induktion nach der Laenge der Zeichenkette. Wir zeigen

Please pass captcha verification before submit form