Guten Tag,
ich hoffe mal, dass ich hier richtig bin, ich habe nämlich eine Frage zur Aussagenlogik. Und zwar, sind die aussagenlogischen Schlussregeln alle tautologisch?
Ich habe mir mal die Wahrheitswertetabellen zum Modus Tollens und zum Modus Ponens angesehen. Diese sind ja unter allen Umständen wahr. Was ja eigentlich auch Sinn ergibt, da dann ein logischer Schluss immer korrekt ist. Aber ist das auch bei anderen logischen Schlussregeln so, dass diese tautologisch strukturiert sind? Das würde mich sehr interessieren. Vielen Dank für die Hilfe!