All public logs
Combined display of all available logs of The Ludwig Wittgenstein Project. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:51, 8 February 2022 MLavazza talk contribs created page Template:TLP 5.101 en (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...")