Proof by Resolution: (1) Negate the conclusion

Previous slide Next slide Back to first slide View graphic version