Beweis durch Kontraposition
Anstatt eine Implikation zu beweisen, kann man alternativ auch die negierte Implikation beweisen.
![[image]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAPCAIAAADCjrCWAAAAA3NCSVQICAjb4U/gAAAACXBIWXMAAA7EAAAOxAGVKw4bAAABEklEQVRIie2VPRqCMAyGU8+CTp4AT6CTk0cIo5M38AB1xM2VicX2Bp6AyXKXOtSfpikIPPjo4LdR0ubNlxSEtRZ+TJNvA0QUY9KZEItD/Yl0OhNcLJdlUggAkErDX40iI1PvdCPTMBv3SZdHRIRLcR7mlM56mZxsTzKl2UKm+rCv5C5fD4da5mZTTHtgJbN5sMJ8dTYqbGmf6+47NW2nvXPNI7GUSSGg8vI+Hoao8QA3QZ7CIMLkIY0AxRyJr/IhBxrLNByq1SdC6hK/Ql8zXp8LoDUpBDiWmoNGvzKhVpU0Nl92GDw35NX1eSs8VlYUH79Oip7V6NO9Pd4G8JZpW/1W9uFS2BLecGNpBcL+/8FddAMnMGdP4OBKQgAAAABJRU5ErkJggg== "embedded image (png)"){kind=small}
zu beweisen, kann man alternativ auch die negierte Implikation ![[image]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAPCAIAAADI0h7EAAAAA3NCSVQICAjb4U/gAAAACXBIWXMAAA7EAAAOxAGVKw4bAAABLklEQVRIie1WsXWDMBA9MgtJlQmUCUiVKiOcS1fZIAPIJe7SUrlBbOAJqCx2UQpBEEgX65Cxn/PyO8G70//3vwSZMQb+Ih5uTWAtxAtrNpmPl123IrkIRjQBw4GWAoTUzgqc9ZWhEH7ZPiWK+fZLCjhWNcO1ZnMpl5vDHhHJ7dPOWP70zKwoSv1ePaZr63afrfwo32hlLPenUbRZ9LJgI3IOaQnWUtgGColWfGEToFrITGFi9VBLNUp3bPHsZ80YcHSRysB5S+KnzONipS2YfIBOJAc/NsHo9JdHUZIUgn0G2NujPbnHN/jBm+O1ldqUhdsrkkNXVzD1WSHA/tDMqJ2drZaCcqzfj2eYloJt8cghWB26xOKFEUlhclS45Fz1HEbj/OnOH2fm/yf4vvANBYE7LuYQNkoAAAAASUVORK5CYII= "embedded image (png)"){kind=small}
beweisen. zu beweisen, kann man alternativ auch die negierte Implikation beweisen.![[image]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAK8AAACJCAIAAADVBf8JAAAAA3NCSVQICAjb4U/gAAAACXBIWXMAAA7EAAAOxAGVKw4bAAALhUlEQVR4nO2dzWobyRbH/77ch3ACXlhIIRhvfO8mtJYZGCQTY4LJC4zdInghbxwwGGYGDIHcTWthhsh6AmOCyaAWA/HSwjBgb4wJ6UZehHvlt6i76I9T1V0lS3HbalnnRxZd1fVxuvvvOqelOsqMEAIMAwD4x7gNYHJErAa/UZ6JKDd8uThT66hNyg0fnVpcn8BvlE2nxonZ4OmyAZ0aPWb4jYZsj5BwbQCW4+mLQgjhOVZY4dqA7Yokrh0Mqzk1TkKzxmpVHmwQrk2P1HOshD2KGoLzdDpRFEK49u0Xk+6VB/Jg1fhtSP0Ne44jFdW4obj8xkLzuKMU9xp+vMgcY7VyP+sX8xCUFiw0q5KzKtbr0gNNRJEJOXhXXaB72A7lIIsh6QJjbzRT2upSNcUf5UBUYVQRNE8GJGFN2EaJU1J9pQ5RhWRPcshk/cCmuqApuN50d1O9dhCDDZ2aEqvVOlo79fdzNIr1XRtoVk3dk2uJ51iRZ/Ecy3YlR0NuIukCZW8UnLNdIUcZ4SJp29G00nKltHJcN24jRSiwpfqor7zwKouw51jRcWxZ4CSD44TzlGcPe8sXYzlePHeiu6leO4jBhrBSrtcNmLL1x50OzZgcIaUGssFzbMUkJWZIPgnJ6PgUPT/pctOXkQ5mTOHLgLBGPnbtROw7yOD07PJ9iB/MwO76+/DjgxgG1N7PH0axLETzeUNl1Ub3sN1pXy0sF+Oib4wZ/PZhF4vPirpzqr2ndV2jYv3Uc6xmVbcwBg2eLQKX34ZdGP1vl0O06l55xtmD5fh4VfMAkt3N9XcYxNxm4P1UPGiK0AfHL5SVj4Hculv/iW+67tOnyqqN7lb1cGG5SMXS3sK2PoAc9LCGuV4AxfppoFYlwlEwyM1gz5Dzamfv1Epbi64QH+8SL2cySJqB11X5aFwIyDkcHks3OAgjCO1nkZVVG7DeLIf3v7LtWFJR27y7VUo9x8q2YzWrcbjSqekjl1ivlY+uTbKKY9lOrdq0HI0UJRn67UMKXSuriqz8Rm1AwJWa3f92GYt7uGVGN2oWgyQZ8n7eQrM6I92avSZsack3aclRXbutLFFq9KTUELar1quhRML9K7VBJGsp0ZW2L9lh25b+TNBdMthVo7b07FLfaFhpLKW7edgfGQS2I8V3TmLA1HWNEkN6jhXG9Y47YJAZkcNvrfxGubS16Ga9zDK3wd9aMUT+1OA3yqWtrurfmIchl56CGRP5WxuY8cFqYAhWA0OwGhiC1cAQrAaGYDUwBKuBIVgNDMFqAHCC1sm4bcgFrAaGYDUwBKuBIVgNDMFqYAhWA0OwGhiC1cAQrAaGYDUwBKuBIVgNDMFqYAhWA0Nwdg1D8NrAEKwGhmA1MASrgSFYDQzBamAIVgNDsBoYYnLVcIL1Ai4esu9dZpwMJlQNJ1jfeOwzjoEJVcNL7O3cqXurh6WHnHEymFA1MPfCP8dtQFZc4/eX+A4AmNvBr9GqfvEO+0dSszW0PoTL/qa0PLgr+HQpNVAHfHGA9ZfJibSVAF6foDp/Dxf4IAz/67T5ot8Uv8yL86DQE7/Ni3aPjn9rCiGE+EJt2q+USuorRL8ZnRKi3aRBggbn2+KXV6IfzRgcx5Vh4+hYsWryeBSe4uIPfF+L/iLnUdvB9/e4AG56wCKeAAD+9Qrfg99v10UA39+HadrVjXBA7IQrx9IHtD5jNmq5+RmzwJOSOvsldgtYL2D3PQD0r+/jKh+AR+Ep+l+B51ScLQBA/xpLP2HuPc6vUZ1H38NcSd99dgN7wO4GzqL1v/8VMDQmLtFHqBLZN00yj2JtePIcOEp+EvBkHpjHyho+vcR6AfsY9MBmN9DqYXMNZxu4AJ48jxaS4RipcY55FGpYeos5YP9dWHQbmAvW+RPsA60eWr0oNtRxcxAqaekDXgSLys/AEf3Ex80BXPPiv/QWc0f4/SAsXrwb1DjfTOhOuPizoEXsBU5d+06R+sjo9QmqvWTfm4PQ30N+U5D6zu3g1wL12nyF/ffq7FJj5V1jwphQNQzJNdweqtGzuTnArjdokZh6HoWnMOHW8XePiud/4vXb8VkzATz2tSF2H5jwz4UehMetBmY0HrWnYEaE1cAQrAaGYDUwBKuBIVgNDMFqYAhWA0OwGhgiazW0ClgvYL0A95q+KdZjSk/IOm0hNsk45uNPlBiSTNXQKuC/O+F+AtTpa2INpvSErNMWWgU8PUGrhxfA5wNdi6lIlBiW7LZYfkluEO03B+0XNW0ozXKjacqkkSyZPjJcGwrKBiQAsxsjZrBkzU3v9jaMRIa7ZOexsob9I6wf6b47Hik9AYCUCrHZA6TjQGGaDAi18vXX8Hi/cNsWKRV9CgY0SRPBpqnNA+xvAGvYhNngIIPjBJ9TFzv8dAMGyYqM15ow6UBNWBgpPUFetwccJzMgdJVJF2BIu1CaaVMwhCZp4mA7utLt5OUnDY4yODS5GENPdz5gkMzI+p0i3nwMYL8Q7hcdKT1hSBIZEAMqY0xpFzL6FAxd0sTTt2FexuatW+uiDI70xQ4/Xb9gHCQ7MlTDNdxok/HSB7ROMAd8+gMI8h1u5RL9oaea3cDeDs42sF6gnc3aSpmEGXHahVL5E+YucX4NIJmCMRe9LgX/7rSNKrrYO003yh0bjkzXhr//kgrzWFkLD0dNTxiGRAbEgMoYY9qFjDkF416SJh54ulvI1lMcYT1+p7jG5yO8+BnAaOkJMvKf7/mfVJ/OgDBVyhjTLmQMKRhDJk2YDDZyt+myJsN9kcF2dRgyC4ZMT6hjV012aBVwFoy2hrOjMOTWZkAkKv/9F8XqZEn6nSKRmqFNwZhPXsKLA6xLVyqne2sM/tmci/ED02kTOjIi46h04umJ9hcq9ZvKK8PET3cL/K2VygOnYOQs44N30Cd44BSMfGV8sBoYgj0FQ7AaGILVwBCsBoZgNTAEqwFwVyb3t3myhdXAEKwGhmA1MASrgSFYDQzBamAIVgNDsBoYgtXAENOqhpsD/S771gpuHtyY3DCtapjdwNOGtMMbYd7+00aWm04njene++Su4NNzvP6K/z3H2ZGy9XkqmW41QErkHfeexDww9WpA9IsfUy8FsBoYmWmNIhkdrAaGYDUwBKuBIVgNDMFqYAhWA0OwGhiC1cAQrAaGYDUwBKuBIfKjBr9RnokoN3y5OFPrqE3KDR+dWlxvGMx4dmwMtDkPjPEXyNK4NgDL8fRFIYTwHCuscG3Ado2jwHR2bIRm5cwqhXypQXiOJd+vRFEI4dpD3c10xzyQT6sk8uMpAADF5TcWmscdpbjX8KPznWOsVsZk2xSQMzUk5eBddYHuYTuUgywGjQ/u1KJAo7TVpWoKQcqBrsKoImhe6ygxS61DDZQ4RdMxmq/Wobklk5KjJutzGEGMe3FK4TlWFCx4jmW7rh3HDuQmND5Yaheetl0hBxrhQm3b0aVHvZUmjuvGDaQIBbZUL00rL/6KI/AcKzqOLfMcKx5WNjc35E8NdKM8x1bumxIzaCIM6ebGZ+kRSk9YF50oyjKFL2nHb1KDa2uedbJx7tSQN08BAJVVG93Ddqd9tbBcjIv+oJjBbx92sfisqDun3vPTeqpRsX7qOVazaly9i88WgctvvuaUyZ5vl0O06l6N4X8dGEQe1RA8/63q4cJykYqlvYVtYwA56HkNc8+L9VMhhGujWTV5c4PWzPbk7lnfTi7VgMqqDVhvlsP7X9l2LKlo6tHdKqUeZWXbsZrVKApEp1ZupCTjNxpBt8pH1yZNxbFsp1ZtWo5eipIM/fYhha6VVUVZfqOWnjeHjMtF3YLnOKp7tpX1Pg4HZDeQihFCJy3Vq6GE7O+VqiCStaJqOZqUOyZMsW1LOSnNazmebLPrJIbOCZxPocNvlEtbi674OGWfbeTTUzDjgdWQwm+US1tdoFnN4+dD9wp7Cob4P6TZgDapW9V5AAAAAElFTkSuQmCC "embedded image (png)")