A CLASSROOM NOTE ON EXTENSIBLE TRUTH TABLES FOR VERIFYING LOGICAL ARGUMENTS

Sher demonstrates a way to determine the validity of logical arguments with a minimal number of truth table lines. By pruning the truth tables, eliminating rows that are false, the pruning can be combined with an innovative method of truth table construction that is extensible. Using a method of ord...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematics and computer education 2012-04, Vol.46 (2), p.133
1. Verfasser: Sher, David B
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Sher demonstrates a way to determine the validity of logical arguments with a minimal number of truth table lines. By pruning the truth tables, eliminating rows that are false, the pruning can be combined with an innovative method of truth table construction that is extensible. Using a method of ordering the rows and premisesis of truth tables, called extensible truth tables, creates opportunities for the teacher to more fully explain the meaning of truth tables.
ISSN:0730-8639