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