Disciplinas:
Algoritmos e Estrutura de Dados 1
Arquitetura de Computadores 7
Banco de Dados 4
Engenharia de Software 2
Gerência de Projetos 3
Governança de TI 4
Inglês 10
Noções de Informática 1
Português 10
Programação 5
Raciocínio Lógico 4
Redes de Computadores 9
Segurança da Informação 5
Sistemas Operacionais 5
Considere que para duas proposições p e q da lógica proposicional vale a fórmula 
.
Nesse cenário, e na ausência de qualquer outra informação sobre p ou q, para que seja possível inferir
sem refutar a validade de 
pode-se assumir a validade de
.Nesse cenário, e na ausência de qualquer outra informação sobre p ou q, para que seja possível inferir
sem refutar a validade de pode-se assumir a validade de
