De axiomatische methode ?
De methode van de deductie houdt in dat je als je een formele redenering tegenkomt, met daarin ‘p → q’ en ‘p’, je dan tot q mag besluiten, wat het pijltje ook betekent. Dit noemt men afleiden. Afleiden is in essentie een kwestie van syntax, maw van vormkenmerken van tekencombinaties. De procedure loopt in vier stappen:
- De keuze van een aantal ‘primitieve’ tekens:
P, q, r…: veranderlijken voor proposities
