![]() ![]() ![]() (Contributed by NM, 3.) (Proof shortened by Mel L. (9597 times), followed by adantr 466 (8861 times), syl2anc 549 (7421 times),Ĭommand 'show usage' shows the number of references.) ![]() (A bit of trivia: this is the most commonly referenced assertion in ourĭatabase (13449 times as of 2). Some authors call this law a "hypothetical ![]() "the principle of the syllogism inĭerived from them" (quote after Theorem *2.06 of Imim1 83 (and imim1i 63 and imim2i 16), which Russell and Whitehead call The transitive laws for implication imim2 58 and Theorem syl 17 Description: An inference version of ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |