O argumento p ⊢ p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a tautologia da proposição:
p → p V q
p ∨ q → p
p → p ...
O argumento p ⊢ p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a tautologia da proposição: p → p V q p ∨ q → p p → p ∧ q p → p V q p ∧ q → p p ∧ q → p V q
Para demonstrar o argumento p ⊢ p ∨ q, é necessário provar a tautologia da proposição p → p V q. Analisando as opções fornecidas, a alternativa correta é a letra a.
0
0
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar