O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q);...

Próximas questões
Com base no mesmo assunto
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268894 Raciocínio Lógico
O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.
Alternativas