|
Истинные и первые положения — те, которые достоверны не через другие положения, а через самих себя. | |
Аристотель
|
(m Й n) Щ (n Й m) | (1) |
Какое понятие создает «p Й p»? И все же кажется возможным сказать, что «p Й p» служит нам знаком некоего понятия.... Я вижу в нем выродившееся предложение, которое находится в сфере истинности.
Л.Витгенштейн
Если..., то…..
m Й n. | (2) |
(m Й n) Щ (n Й m) Й S, | (3) |
(S) Й S, | (4) |
S Й (S). | (5) |
((S) Й S) Щ (S Й (S)), | (6) |
((S) Й S) Щ (S Й (S)) Й <S>. | (7) |
(<S>) Й <S>. | (8) |
((S) Й (<S>)) Щ ((<S>) Й (S)). | (9) |
(S Й <S>) Щ (<S> Й S). | (10) |
((S Й <S>) Щ (<S> Й S)) Й < Й> , или.
(ПЦ) Й < Й> . | (11) |