Space S000001

Also known as:

is a counterexample to the converse of 80 theorems
Id If Then
T41 ¬
T51
T72
T76
T94 ∧ ¬
T96
T111 ∧
T131 ∧
T139
T157
T190
T233 ∧
T248 ¬
T250 ¬
T251
T275 ∧ ∧
T313
T349
T426 ∧
T428
T446 ¬
T447
T448
T449 ∧
T450
T451 ∧ ¬
T454
T481
T482
T498 ∧
T522 ∧
T523 ∧
T536 ∧
T547
T549
T550 ∧
T553
T554 ∧ ∧ ∧
T555 ∧ ∧ ¬
T566
T567 ∧
T568 ∧
T572
T573
T574
T575
T584 ¬
T592
T599
T600
T605
T606 ∧
T607 ∧
T609 ∧ ∧
T613
T617
T618 ∧
T619 ∧
T620 ¬
T631 ∧ ¬
T634
T637
T639
T643 ∧ ∧
T644
T656
T660 ∧
T670 ∧
T671 ∧ ¬
T672 ∧ ¬
T674 ∧
T675 ∧ ∧ ∧
T683 ∧
T684 ∧ ∧
T692 ∧
T696
T698 ∧ ∧
T702 ∧ ¬ ¬
T705
T723 ∧