Imagem de fundo

Abaixo, uma tabela com esquemas de estruturas lógicas para...

Abaixo, uma tabela com esquemas de estruturas lógicas para quatro tipos diferentes de deduções e uma tabelaverdade. As letras P e Q representam sentenças. Os símbolos ¬, %u2192 e v são conectivos lógicos usuais de negação, implicação e disjunção, respectivamente.

Imagem associada para resolução da questão

Considerando as informações acima e o cálculo proposicional, assinale a alternativa correta.


A

Se um delegado é um profissional do direito, então ele não desconhece leis. Delegados desconhecem leis. Portanto, delegados não são profissionais do direito. Esta é uma dedução do tipo III.


B

Uma pessoa ou pode ser culpada ou inocente de uma acusação. Esta pessoa é culpada. Portanto, ela não é inocente. Essa é uma dedução do tipo I.


C

Um supervisor ou sempre mente ou sempre fala a verdade, em relação a um determinado acontecimento. Se ele não fala a verdade então ele mente. Está é uma dedução do tipo IV.


D

As tabelas verdade das proposições PvQ e P→Q são iguais.


E

Da forma de dedução do tipo II, tem-se que a conclusão será verdadeira se ambas as premissas forem verdadeiras.