A lógica se desdobra na análise das proposições, argumentos, conectivos, equivalências, implicações, a fim de verificar se uma afirmação é verdadeira ou falsa. Analise as afirmativas abaixo:

I. A disjunção é verdadeira desde que pelo menos uma das proposições seja verdadeira.

II. A proposição "r ↔ s" é falsa quando "r" e "s" são ambas verdadeiras ou ambas falsas e falsa quando "r" e "s" têm valores lógicos distintos.

III. A implicação é verdadeira quando o antecedente "x" é falso qualquer que seja o consequente "y". Esta situação pode ilustrar-se com a implicação "se cinco mais sete são quinze então a lua é de cristal" que é verdadeira uma vez que o antecedente é falso.

IV. A conjunção de duas proposições é falsa somente quando as duas proposições forem simultaneamente verdadeiras.

Assinale a alternativa CORRETA. 

A lógica de Argumentação é a proposição do raciocínio lógico, baseada no que pode ser verdadeiro ou falso. Sobre os conhecimentos da lógica de argumentação, analise as afirmativas a seguir:

I. A inferência revela-se como uma conclusão de um raciocínio, uma expectativa, fundamentada em um indício, uma circunstância ou uma pista. Quando a inferência é dada como válida, significa que a nova proposição pode ser utilizada em outras inferências.

II. A analogia é uma premissa imparcial que direciona a uma outra premissa que agrega informações para encontrarmos uma conclusão. Estas premissas deverão ser verdadeiras ou falsas.

III. Modus Ponens (1ª premissa: p → q, 2ª premissa: p, onde a 1ª premissa é verdadeira, conclusão: q) e Modus Tollens (1ª premissa: p → q, 2ª premissa: ~q, negando a 2ª premissa, conclusão: ~p) são regras de inferências.

IV. A dedução parte da premissa universal (uma certeza) para poder chegar a uma conclusão, ou seja, ela vai do todo a uma parte. Ela parte de algo abrangente para descobrir uma verdade particular. Exemplo: Carlos é natural de Salvador. Salvador é uma cidade da Bahia. Quem nasce na Bahia é baiano. Logo, Carlos é baiano. 

Assinale a alternativa CORRETA. 

O conjunto X possui 8 elementos, o conjunto Y possui 4 elementos, o conjunto Z possui 7 elementos e o total de elementos do conjunto W é igual a (X ∩ Y) U (Y ∩ Z). Se X U Y U Z = 16 elementos, assinale a alternativa que apresenta corretamente o número máximo de elementos do conjunto W.

Analise a afirmação: "Se João é médico, João não é Advogado". A negação dessa afirmação é: