[K2.1] Beweisen mit Hilfe der Gesetze der Aussagenlogik
ฝัง
- เผยแพร่เมื่อ 27 ต.ค. 2024
- In diesem Video verwenden wir aussagenlogische Gesetze, um logische Äquivalenzen zu beweisen.
__________________________
Dieses Video ist Teil des Mathematik-Vorkurses für Informatiker der Universität des Saarlandes:
vorkurs.cs.uni...
Für Anmerkungen und Fragen steht Teilnehmern des Vorkurses das Forum offen: vorkurs.cs.uni...
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 2](http://i.ytimg.com/vi/4Q_yjsZpJdE/mqdefault.jpg)
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 2](/img/tr.png)
![[K2.2] Bereinigen und Ersetzen](http://i.ytimg.com/vi/nlfWduqItB4/mqdefault.jpg)
![[K2.1] Tautologie, Kontradiktion und Erfüllbarkeit](http://i.ytimg.com/vi/0cPRYfNLDRE/mqdefault.jpg)
