Aussagen im mathematischen Sinne können mit mathematischen Regeln überprüft werden. Dabei gibt es die sogenannte Negation (oder auch Negierung), die “und”-bzw. die “oder”-Verknüpfung sowie die Implikation und die sogenannte Äquivalenz. In diesem Videoclip rechnet Stefan eine Aufgabe aus dem Bereich Aussagenlogik vor.
s39