Questão Q105707
2003 Núcleo de Computação Eletrônica UFRJ (NCE) Agência Nacional de Águas (ANA)
Raciocínio Lógico Proposições Equivalentes
Prova: Concurso Agência Nacional de Águas (ANA) - Regulador (Prova 1 Geral Comum a Todos os Cargos de Regulador) - Núcleo de Computação Eletrônica UFRJ (NCE) do ano 2003 • Agência Nacional de Águas (ANA)

Sabendo-se que o símbolo ¬ denota negação e que o símbolo...

Sabendo-se que o símbolo ¬ denota negação e que o símbolo v denota o conector lógico ou, a fórmula A -> B, que é lida "se A então B", pode ser reescrita como:

Comentários

Faça login para participar da discussão.

Cadastre-se Gratuitamente
Carregando comentários...