Exercícios

Require Import ProofWeb Parameter A B C D E Prop Hypothesis P1 D E B Hypothesis P2 C A B Hypothesis P3 E D Hypothesis P4 D B E Hypothesis P5 E C E Theorem desafio C Proof propproof Qed Require Import ProofWeb Parameter A B C Prop Hypothesis P1 A B Hypothesis P2 B A C Theorem desafio C Proof propproof Qed Require Import ProofWeb Parameter A B Prop Hypothesis P1 A A B Hypothesis P2 A B A Theorem desafio A B Proof propproof Qed Require Import ProofWeb Parameter A B C Prop Hypothesis P1 A B C Hypothesis P2 B A C Theorem desafio C A B Proof propproof Qed