LOGICA APLICADA

Turma: 4311/17

Alunos:_______________________________________________________________________________________
_____________________________________________________________________________________________
_____________________________________________________________________________________________

A tabela abaixo mostra o incio da construo da tabela-verdade para a proposio [(PQ)Q]P, em que P e
Q so proposies simples e P significa no P. Ao se completar a tabela, correto afirmar que a coluna
referente proposio [(PQ)Q]P, de cima para baixo e na ordem em que aparecem, conter os elementos:

(Prova para o cargo de Administrador do Instituto Federal do Amap,

aplicado pela organizadora FUNIVERSA, em 2016)

a VVVF.
b FVVV.
c VFFV.
d VVFF.
e FFVF.

RESOLUO:

Primeiro faremos a negao da proposio P, que s inverter os valores;

Depois, faremos o que est entre (), que : No P condicional Q (~PQ). verdadeiro em todos os casos, exceto
quando a primeira for verdadeira e a segunda falsa.

Feito isso, faremos o que est entre [], que o resultado de: No P condicional Q (~PQ) conjuno (e) ^Q .
[(~PQ)^Q]. A conjuno entre as proposies s ser verdadeira se as duas forem verdadeiras.

Por fim, resolveremos a proposio em questo, [(~PQ)^Q] ~P, que seria o resultado da proposio
[(~PQ)^Q]condicional a No P ~P. Como j vimos anteriormente, o condicional verdadeiro em todos os
casos, exceto quando a primeira for verdadeira e a segunda falsa.