Disjunctive syllogism TRUE

AB
~ A
inference logicB
0

Truth check table

CaseABAB ~ A
1TTTF
2TFTF
3FTTT
4FFFT
Public: Yes; Show truth table: Yes;