Texto CB1A5AAA – Proposição PA empresa alegou ter pago suas ...

Negando Condicionais:

Regra do MANÉ (mantém primeira proposição e nega a segunda)

A => B

Negando

A ^ ~B

Portanto, a negação de uma condicional nunca pode ser outra condicional, além disso, tudo o que vem antes do "então" do Se..então é mantido o que vem depois é negado.

Por isso,

P2: Se sou responsável pelo relatório e surge um problema em seu conteúdo, sou demitido.

~P2: Sou responsável pelo relatório e surge um problema em seu conteúdo, mas não sou demitido.

Gabarito A

Resolução

Fazendo por equivalências lógicas, temos que:

P2:

(R ^ P) -> D <=> ~(R^P) v D

~(R^P) v D <=> (~R v ~P) v D

(~R v ~P) v D

Mas, queremos a negação:

~[(~R v ~P) v D] <=> R ^ P ^~D

Essa é exatamente a letra: Sou responsável, surge um problema e não sou demitido.

Negação A-->B (SE ENTÃO) = A ^ ~B

Na questão a premissa P2: (A ^ B) --> C

OBS: Considere (A ^ B) representado por X(substitui)

logo a negação da questão será = X ^ ~C

X= Sou responsável pelo relatório e surge um problema em seu conteúdo,

~C=não sou demitido.

X ^ ~C= ou responsável pelo relatório e surge um problema em seu conteúdo,não sou demitido.

ESPERO TER AJUDADO.

Negação da condicional:

Mantém a primeira e nega a 2.

Sou responsável pelo relatório e surge um problema em seu conteúdo, mas não sou demitido.

Errei por achar que o E deveria ter sido substiuído pelo OU para negar....