Report - Regras de Inferência e Regras de AULA Equivalência de Inferência e Regras de Equivalência I02 α α∨β (Adição) I03 α,α → β β (Modus pones) I04 ¬β,α→ β ¬ α (Modus

Please pass captcha verification before submit form