Question

qual o nome dessa regra? P,q ⇒( p∧q)

Answer 1

Regra modus ponens - sendo verdadeira a preposição p->q, conclui-se que a preposição p também será.

Answer 2

Explicação passo-a-passo:

∨: ou p ∨ q é lido como “p ou q” e é chamado de disjunção de p e q. ¬ é um operador unário e ∧ e ∨ são operadores binários. ... ∧,∨ (conjunção, disjunção).