SóProvas


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.

Alternativas