Template:Individual-TLP-paragraph-en-6.1201: Difference between revisions
Bot: Automated import of articles |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-en|{{ParTLP|6.1201}} That ''e.g.'' the propositions | {{ParTLPwrapper-en|{{ParTLP|6.1201}} That ''e.g.'' the propositions “''p''” and “~''p''” in the connexion {{nowrap|“~(''p'' . ~''p'')”}} give a tautology shows that they contradict one another. That the propositions {{nowrap|“''p'' ⊃ ''q''”}}, “''p''” and “''q''” connected together in the form {{nowrap|“(''p'' ⊃ ''q'') . (''p'') : ⊃ : (''q'')”}} give a tautology shows that “''q''” follows from “''p''” and {{nowrap|“''p'' ⊃ ''q''”}}. That {{nowrap|“(''x'') . ''f x'' : ⊃ : ''f a''”}} is a tautology shows that {{nowrap|''f a''}} follows from {{nowrap|(''x'') . ''f x''}}, etc. etc. | ||
}} | }} | ||
Revision as of 15:54, 27 December 2023
6.1201 That e.g. the propositions “p” and “~p” in the connexion “~(p . ~p)” give a tautology shows that they contradict one another. That the propositions “p ⊃ q”, “p” and “q” connected together in the form “(p ⊃ q) . (p) : ⊃ : (q)” give a tautology shows that “q” follows from “p” and “p ⊃ q”. That “(x) . f x : ⊃ : f a” is a tautology shows that f a follows from (x) . f x, etc. etc.