Para que seja verdadeira a afirmação “Se Rose é contadora, então ela estudou para fazer concurso e hoje trabalha no setor público”, é suficiente que Rose

Gabarito

A

Comentário do professor

Modelo lógico: seja \(p\) a proposição "Rose é contadora" e \(q\) a proposição "ela estudou para concurso e hoje trabalha no setor público". A afirmação dada é o condicional \(p \to q\).

Na lógica, um condicional \(p \to q\) é falso apenas quando \(p\) é verdadeira e \(q\) é falsa. Em todas as outras combinações, o condicional é verdadeiro.
Assim, se a hipótese \(p\) for falsa, o valor de verdade de \(q\) não interfere.

Aplicando ao enunciado, se Rose não for contadora então \(p\) é falsa, logo \(p \to q\) é verdadeira automaticamente, independentemente de ela ter estudado ou trabalhar no setor público.
Portanto, a negação de "Rose é contadora" é suficiente para tornar a afirmação verdadeira.