mmtheorems7 - Quantum Logic Explorer

Jump to page: Contents + 1 1-100 2 101-200 3 201-300 4 301-400 5 401-500 6 501-600 7 601-700 8 701-800 9 801-900 10 901-1000 11 1001-1100 12 1101-1118

Statement List for Quantum Logic Explorer - 601-700 - Page 7 of 12

Type	Label	Description
Statement
Theorem	u2lemaa 601	Lemma for Dishkant implication study.
Theorem	u3lemaa 602	Lemma for Kalmbach implication study.
Theorem	u4lemaa 603	Lemma for non-tollens implication study.
Theorem	u5lemaa 604	Lemma for relevance implication study.
Theorem	u1lemana 605	Lemma for Sasaki implication study.
Theorem	u2lemana 606	Lemma for Dishkant implication study.
Theorem	u3lemana 607	Lemma for Kalmbach implication study.
Theorem	u4lemana 608	Lemma for non-tollens implication study.
Theorem	u5lemana 609	Lemma for relevance implication study.
Theorem	u1lemab 610	Lemma for Sasaki implication study. Equation 4.10 of [MegPav2000] p. 23. This is the second part of the equation.
Theorem	u2lemab 611	Lemma for Dishkant implication study.
Theorem	u3lemab 612	Lemma for Kalmbach implication study.
Theorem	u4lemab 613	Lemma for non-tollens implication study.
Theorem	u5lemab 614	Lemma for relevance implication study.
Theorem	u1lemanb 615	Lemma for Sasaki implication study.
Theorem	u2lemanb 616	Lemma for Dishkant implication study.
Theorem	u3lemanb 617	Lemma for Kalmbach implication study.
Theorem	u4lemanb 618	Lemma for non-tollens implication study.
Theorem	u5lemanb 619	Lemma for relevance implication study.
Theorem	u1lemoa 620	Lemma for Sasaki implication study.
Theorem	u2lemoa 621	Lemma for Dishkant implication study.
Theorem	u3lemoa 622	Lemma for Kalmbach implication study.
Theorem	u4lemoa 623	Lemma for non-tollens implication study.
Theorem	u5lemoa 624	Lemma for relevance implication study.
Theorem	u1lemona 625	Lemma for Sasaki implication study.
Theorem	u2lemona 626	Lemma for Dishkant implication study.
Theorem	u3lemona 627	Lemma for Kalmbach implication study.
Theorem	u4lemona 628	Lemma for non-tollens implication study.
Theorem	u5lemona 629	Lemma for relevance implication study.
Theorem	u1lemob 630	Lemma for Sasaki implication study.
Theorem	u2lemob 631	Lemma for Dishkant implication study.
Theorem	u3lemob 632	Lemma for Kalmbach implication study.
Theorem	u4lemob 633	Lemma for non-tollens implication study.
Theorem	u5lemob 634	Lemma for relevance implication study.
Theorem	u1lemonb 635	Lemma for Sasaki implication study.
Theorem	u2lemonb 636	Lemma for Dishkant implication study.
Theorem	u3lemonb 637	Lemma for Kalmbach implication study.
Theorem	u4lemonb 638	Lemma for non-tollens implication study.
Theorem	u5lemonb 639	Lemma for relevance implication study.
Theorem	u1lemnaa 640	Lemma for Sasaki implication study.
Theorem	u2lemnaa 641	Lemma for Dishkant implication study.
Theorem	u3lemnaa 642	Lemma for Kalmbach implication study.
Theorem	u4lemnaa 643	Lemma for non-tollens implication study.
Theorem	u5lemnaa 644	Lemma for relevance implication study.
Theorem	u1lemnana 645	Lemma for Sasaki implication study.
Theorem	u2lemnana 646	Lemma for Dishkant implication study.
Theorem	u3lemnana 647	Lemma for Kalmbach implication study.
Theorem	u4lemnana 648	Lemma for non-tollens implication study.
Theorem	u5lemnana 649	Lemma for relevance implication study.
Theorem	u1lemnab 650	Lemma for Sasaki implication study.
Theorem	u2lemnab 651	Lemma for Dishkant implication study.
Theorem	u3lemnab 652	Lemma for Kalmbach implication study.
Theorem	u4lemnab 653	Lemma for non-tollens implication study.
Theorem	u5lemnab 654	Lemma for relevance implication study.
Theorem	u1lemnanb 655	Lemma for Sasaki implication study.
Theorem	u2lemnanb 656	Lemma for Dishkant implication study.
Theorem	u3lemnanb 657	Lemma for Kalmbach implication study.
Theorem	u4lemnanb 658	Lemma for non-tollens implication study.
Theorem	u5lemnanb 659	Lemma for relevance implication study.
Theorem	u1lemnoa 660	Lemma for Sasaki implication study.
Theorem	u2lemnoa 661	Lemma for Dishkant implication study.
Theorem	u3lemnoa 662	Lemma for Kalmbach implication study.
Theorem	u4lemnoa 663	Lemma for non-tollens implication study.
Theorem	u5lemnoa 664	Lemma for relevance implication study.
Theorem	u1lemnona 665	Lemma for Sasaki implication study.
Theorem	u2lemnona 666	Lemma for Dishkant implication study.
Theorem	u3lemnona 667	Lemma for Kalmbach implication study.
Theorem	u4lemnona 668	Lemma for non-tollens implication study.
Theorem	u5lemnona 669	Lemma for relevance implication study.
Theorem	u1lemnob 670	Lemma for Sasaki implication study.
Theorem	u2lemnob 671	Lemma for Dishkant implication study.
Theorem	u3lemnob 672	Lemma for Kalmbach implication study.
Theorem	u4lemnob 673	Lemma for non-tollens implication study.
Theorem	u5lemnob 674	Lemma for relevance implication study.
Theorem	u1lemnonb 675	Lemma for Sasaki implication study.
Theorem	u2lemnonb 676	Lemma for Dishkant implication study.
Theorem	u3lemnonb 677	Lemma for Kalmbach implication study.
Theorem	u4lemnonb 678	Lemma for non-tollens implication study.
Theorem	u5lemnonb 679	Lemma for relevance implication study.
Theorem	u1lemc1 680	Commutation theorem for Sasaki implication.
a C (a ->1 b)
Theorem	u2lemc1 681	Commutation theorem for Dishkant implication.
b C (a ->2 b)
Theorem	u3lemc1 682	Commutation theorem for Kalmbach implication.
a C (a ->3 b)
Theorem	u4lemc1 683	Commutation theorem for non-tollens implication.
b C (a ->4 b)
Theorem	u5lemc1 684	Commutation theorem for relevance implication.
a C (a ->5 b)
Theorem	u5lemc1b 685	Commutation theorem for relevance implication.
b C (a ->5 b)
Theorem	u1lemc2 686	Commutation theorem for Sasaki implication.
a C b   &   a C c   =>   a C (b ->1 c)
Theorem	u2lemc2 687	Commutation theorem for Dishkant implication.
a C b   &   a C c   =>   a C (b ->2 c)
Theorem	u3lemc2 688	Commutation theorem for Kalmbach implication.
a C b   &   a C c   =>   a C (b ->3 c)
Theorem	u4lemc2 689	Commutation theorem for non-tollens implication.
a C b   &   a C c   =>   a C (b ->4 c)
Theorem	u5lemc2 690	Commutation theorem for relevance implication.
a C b   &   a C c   =>   a C (b ->5 c)
Theorem	u1lemc3 691	Commutation theorem for Sasaki implication.
a C b   =>   a C (b ->1 a)
Theorem	u2lemc3 692	Commutation theorem for Dishkant implication.
a C b   =>   a C (b ->2 a)
Theorem	u3lemc3 693	Commutation theorem for Kalmbach implication.
a C b   =>   a C (b ->3 a)
Theorem	u4lemc3 694	Commutation theorem for non-tollens implication.
a C b   =>   a C (b ->4 a)
Theorem	u5lemc3 695	Commutation theorem for relevance implication.
a C b   =>   a C (b ->5 a)
Theorem	u1lemc5 696	Commutation theorem for Sasaki implication.
a C b   =>   a C (a ->1 b)
Theorem	u2lemc5 697	Commutation theorem for Dishkant implication.
a C b   =>   a C (a ->2 b)
Theorem	u3lemc5 698	Commutation theorem for Kalmbach implication.
a C b   =>   a C (a ->3 b)
Theorem	u4lemc5 699	Commutation theorem for non-tollens implication.
a C b   =>   a C (a ->4 b)
Theorem	u5lemc5 700	Commutation theorem for relevance implication.
a C b   =>   a C (a ->5 b)