Truth Table

From GM-RKB
Jump to navigation Jump to search

A Truth Table is a Table that maps all possible Logic Variable Value permutations of a Propositional Logic Sentence to the Truth Set.

  • Example(s):
    • Truth Table for the Implication Connective

ABA→B
TT
T
TF
F
FT
T
FF
T



References

2009