Formele logica

Waarheidstabellen

Semantische tableaus

Assumptiecalculus

Bewijzen ingeven en controleren

Zelf bewijsregels maken