propositielogica

De propositielogica is een tak van logica die zich bezighoudt met geldige redeneringen in de vorm van proposities. Dit zijn uitspraken of beweringen die ofwel waar of ofwel onwaar zijn. Voorbeelden hiervan zijn Wikipedia is een encyclopedie en Wicky heeft een noormannenhelm op. In de propositielogica kunnen de proposities alleen waar of onwaar zijn, dit in tegenstelling tot meerwaardige logica's waarbij een propositie ook andere waarden kan hebben, zoals bij de propositie Wicky vindt Wikipedia een interessante encyclopedie. In vergelijking met andere types van logica is een propositielogica eenvoudig van opbouw(structuur,grammatica) maar beperkt in uitdrukkingsmogelijkheid.
Zie meer op Wikipedia.org...