Category:Propositional logic (Aussagenlogik): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 October 2025

  • curprev 14:2714:27, 20 October 2025Bfh-sts talk contribs 1,989 bytes +1,989 Created page with "= Overview = This page lists the most important terms and laws for the BFH module: '''Diskrete Mathematik I (BZG1155pa) 25/26''' = Propositional logic = Propositional logic (''Aussagenlogik'') is a formal system in logic that studies propositions and their relationships through logical connectives. It is the foundation of mathematical logic, computer science, and digital circuit design. == Propositions == A <code>proposition</code> (''Aussage'') is a declarative sta..."