Propositielogica

Modale predicatenlogica Net zoals men modale propositielogica verkrijgt door aan propositielogica de unaire modale operatoren en toe te voegen, kan men ook van een predicatenlogica modale predicatenlogica maken.

Modale propositielogica Modale propositielogica is een veel gebruikte modale logica.

Propositielogica In de propositielogica bestaat een model uit de toekenning van waarheidswaarden aan de atomaire proposities.

Door de zaken in hun relatie tot elkaar te beschouwen probeert de stoïcijnse propositielogica de natuurlijke gang van zaken te doorgronden.

Pas een kleine tweehonderd jaar later ontwierp George Boole het eerste volledige logische formalisme voor de propositielogica.

Het gaat hierbij om de regels voor formules van de propositielogica.

De propositielogica en de predicatenlogica zijn voorbeelden van formele systemen.

Semantiek Voor de semantiek van de modale propositielogica worden vaak Kripkemodellen gebruikt.

Semantische tableaus in de propositielogica Een semantisch tableau kan in vele verschillende logica's gebruikt worden.

Sindsdien heeft George Boole de propositielogica en later rond 1879 Gottlob Frege de predicatenlogica ontwikkeld.

In de propositielogica worden de volgende connectieven (voegtekens) gebruikt om proposities samen te stellen: * negatie (ontkenning): ~A of ¬A (niet A).

Voorbeeld Stel en bevat de afleidingsregels van propositielogica (waaronder ).

Zowel de syllogistiek als de propositielogica zijn te interpreteren binnen de predicatenlogica.