Liebe Irene, lass Dich nicht von Alex verwirren. Die Wahrheitstafel gilt nur für die problematische "materiale Implikation" (eine spezielle Adjunktion). Die Schlussfolgerung (eine echte Implikation) führt entweder zu einer äquivalenten Konklusion oder zu einer abgeschwächten Klusion. In Verbindung mit einer entsprechenden wahren Prämisse entsteht ein Wahrheitsbeweis (modus ponens). Zu Deiner letzten Frage: Nein; vergleiche meine Version vom Zirkelschluss bei WIKIPEDIA, 30.01.08! manfred-brill@web.de