Disciplinas:
Algoritmos e Estrutura de Dados 2
Arquitetura de Computadores 1
Arquitetura de Software 1
Banco de Dados 2
Direito Administrativo 3
Engenharia de Software 5
Gerência de Projetos 3
Governança de TI 3
Legislação dos Tribunais Eleitorais (TSE e TREs) 2
Matemática 10
Português 9
Programação 7
Redação Oficial 1
Redes de Computadores 5
Segurança da Informação 4
Sistemas Operacionais 2
Texto da Questão:
+
Texto para a questão.
Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F), mas não como V e F simultaneamente. Uma proposição simbolizada por A→B, em que A e B são proposições quaisquer, é lida “se A, então B”, e será F quando A for V e B for F. Nos demais casos, será sempre V. Uma argumentação é uma proposição que tem a forma P1∧P2∧ ... ∧Pn→Q, em que as proposições Pi, 1 < i < n, são denominadas premissas e a proposição Q é a conclusão. Uma argumentação é denominada válida se, sempre que as premissas Pi, 1 <i< n, forem V, a conclusão Q for V como consequência das premissas.
A negação da proposição A, simbolizada por ¬A, será F se
A for V, e será V se A for F. Então, para todas as possíveis
valorações V ou F atribuídas às proposições A e B, é correto
concluir que a proposição [¬A➝¬B]➝[B➝A] possui
exatamente
