Page:Russell, Whitehead - Principia Mathematica, vol. I, 1910.djvu/14

Alphabetical List of Propositions Referred to by Names

Name	Number
Abs	✱2·01.	$\scriptstyle {\vdash :p\supset \sim p.\supset .\sim p}$
Add	✱1·3.	$\scriptstyle {\vdash :q.\supset .p\lor q}$
Ass	✱3·35.	$\scriptstyle {\vdash :p.p\supset q.\supset .q}$
Assoc	✱1·5.	$\scriptstyle {\vdash :p\lor (q\lor r).\supset .q\lor (p\lor r)}$
Comm	✱2·04.	$\scriptstyle {\vdash :.p.\supset .q\supset r:\supset :q.\supset .p\supset r}$
Comp	✱3·43.	$\scriptstyle {\vdash :.p\supset q.p\supset r.\supset :p.\supset .q.r}$
Exp	✱3·3.	$\scriptstyle {\vdash :.p.q.\supset .r:\supset :p.\supset .q\supset r}$
Fact	✱3·45.	$\scriptstyle {\vdash :.p\supset q.\supset :p.r.\supset .q.r}$
Id	✱2·08.	$\scriptstyle {\vdash .p\supset p}$
Imp	✱3·31.	$\scriptstyle {\vdash :.p.\supset .q\supset r:\supset :p.q.\supset .r}$
Perm	✱1·4.	$\scriptstyle {\vdash :p\lor q.\supset .q\lor p}$
Simp	✱2·02.	$\scriptstyle {\vdash :q.\supset .p\supset q}$
Simp„	✱3·26.	$\scriptstyle {\vdash :p.q.\supset .p}$
Simp„	✱3·27.	$\scriptstyle {\vdash :p.q.\supset .q}$
Sum	✱1·6.	$\scriptstyle {\vdash :.q\supset r.\supset :p\lor q.\supset .p\lor r}$
Syll	✱2·05.	$\scriptstyle {\vdash :.q\supset r.\supset :p\supset q.\supset .p\supset r}$
Syll„	✱2·06.	$\scriptstyle {\vdash :.p\supset q.\supset :q\supset r.\supset .p\supset r}$
Syll„	✱3·33.	$\scriptstyle {\vdash :p\supset q.q\supset r.\supset .p\supset r}$
Syll„	✱3·34.	$\scriptstyle {\vdash :q\supset r.p\supset q.\supset .p\supset r}$
Taut	✱1·2.	$\scriptstyle {\vdash :p\lor p.\supset .p}$
Transp	✱2·03.	$\scriptstyle {\vdash :p\supset \sim q.\supset .q\supset \sim p}$
Transp„	✱2·15.	$\scriptstyle {\vdash :\sim p\supset q.\supset .\sim q\supset p}$
Transp„	✱2·16.	$\scriptstyle {\vdash :p\supset q.\supset .\sim .q\supset \sim p}$
Transp„	✱2·17.	$\scriptstyle {\vdash :\sim q\supset \sim p.\supset .p\supset q}$
Transp„	✱3·37.	$\scriptstyle {\vdash :.p.q.\supset .r:\supset :p.\sim r.\supset .\sim q}$
Transp„	✱4·1.	$\scriptstyle {\vdash :p\supset q.\equiv .\sim q\supset \sim p}$
Transp„	✱4·11.	$\scriptstyle {\vdash :p\equiv q.\equiv .\sim p\equiv \sim q}$