Dette er ganske interessant. Hvis jeg fortalte dig, at fra en selvmodsigelse følger alting, ville du så være umiddelbart enig? Nej vel. Det var jeg heller ikke, men så mødte jeg dette bevis. assumption from (1) by conjunction elimination from (1) by conjunction elimination from (2) by disjunction introduction from (3) and (4) by disjunctive…