- ID
- 3806689
- Banca
- UFBA
- Órgão
- UFBA
- Ano
- 2013
- Provas
- Disciplina
- Raciocínio Lógico
- Assuntos
O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.
O conjunto de L-sentenças {(((p → q) → p) → p); ((p∧q) → q); (p → (p∧q)); ¬p} é consistente.