(Eng:
proposition calculus) Het deel van de formele of symbolische logica dat met uitspraken rekent (waar, niet-waar).
Gevonden op
https://www.angelfire.com/ca/vlietstra/CADCAM.pdf
(Eng:
proposition(al) calculus) Het deel van de formele of symbolische logica dat met uitspraken rekent (WAAR, ONWAAR). Deze logica laat slechts invariante objecten en predikaten toe. Het vormt de basis van de predikatencalculus.
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
