Natural deduction TRUE

(TE)(AL)
inference logic(TA)(EL)
0

Truth check table

CaseTEAL(TE)(AL)(TA)(EL)
1TTTTTT
2TTTFFT
3TTFTTT
4TTFFTT
5TFTTFT
6TFTFFF
7TFFTFT
8TFFFFF
9FTTTTT
10FTTFFT
11FTFTTT
12FTFFTT
13FFTTTT
14FFTFFF
15FFFTTT
16FFFFTT
Public: Yes; Show truth table: Yes;