MLavazza
no edit summary
16:55
−78
Created page with "{| style="margin: 0 auto 0 auto;" |(TTTT)(''p'', ''q'') |Tautology |(if ''p'' then ''p'', and if ''q'' then ''q''.) [''p'' ⊃ ''p . q'' ⊃ ''q''] |- |(FTTT)(''p'', ''q'') |i..."
08:51
+1,370