Die Matrizenmethode ist ein Entscheidungsverfahren für die Gültigkeit einer Aussage der Aussagenlogik. Mit ihr kann entschieden werden, ob eine Aussage immer wahr ist – also für jede beliebige Variablenbelegung. Weitere aussagenlogische Entscheidungsverfahren sind die ähnlich simplen Wahrheitstabellen, Binäre Entscheidungsdiagramme und Davi...