VUNESP 2014 – FUNDESP – Analista de redes pleno
Considere verdadeiras as premissas I, II e III.
- Se Cláudio é médico, então Ana é advogada.
- Se Marcelo é professor, então Débora é dentista.
- Ana não é advogada ou Débora não é dentista.
A alternativa que contém uma conclusão que pode ser associada às premissas apresentadas, de modo a construir um argumento válido, é:
a) Marcelo não é professor.
b) Cláudio é médico e Débora não é dentista.
c) Marcelo é professor e Ana é advogada.
d) Cláudio não é médico ou Marcelo não é professor.
e) Cláudio é médico e Marcelo é professor.
Solução:
Com base nas premissas I, II e III,
![\[ \left \{ \begin{array}{l} C \longrightarrow A = V; \\ M \longrightarrow D = V; \\ \neg A \vee \neg D = V. \end{array} \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-3a066f38cd0547ae20833578d4e91f29_l3.png "Rendered by QuickLaTeX.com")
Cujas funções lógicas são respectivamente côngruas a
![\[ \begin{array}{cl} \neg C \vee \textcolor{red}{A} &= V \\ \neg M \vee \textcolor{blue}{D} &= V \\ \textcolor{red}{\neg A} \vee \textcolor{blue}{\neg D} &= V \\ \\ \hline \\ \neg C \vee \neg M &= V. \end{array} \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-255f5808d6947540cf77157a23fec8e7_l3.png "Rendered by QuickLaTeX.com")
Nota-se que, as proposições simples com valores lógicos contrários foram canceladas entre si, com base no silogismo disjuntivo ou eliminação 
. Dessa forma, o gabarito é a assertiva D.
Autor: Prof. Fábio Matos
“Aulas Particulares de Calculo, Física e Matemática”
(11) 97226-5689 Cel/WhatsApp
(11) 2243-7160 Fixo
email: fabio.ayreon@gmail.com
