O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q);...
Próximas questões
Com base no mesmo assunto
Q1268894
Raciocínio Lógico
O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.