(UFMG 2010 – Assistente de Administração)
Considere as premissas:
• Andrea não é loira ou Paula é alta.
• Paula não é alta ou Carla é baixa.
• Paula é alta ou Carla é baixa ou Andrea é loira.
• Andrea é loira ou Carla não é baixa.
A partir dessas premissas, é CORRETO afirmar que
A) Andrea não é loira, Paula é alta, Carla é baixa.
B) Andrea não é loira, Paula não é alta, Carla não é baixa.
C) Andrea é loira, Paula é alta, Carla não é baixa.
D) Andrea é loira, Paula é alta, Carla é baixa.
Solução:
Com base nas premissas dadas:
![\[ \left \{ \begin{array}{cl} \neg A \vee P &= V \\ \neg P \vee C &= V \\ P \vee C \vee A &= V \\ A \vee \neg C &= V \\ \end{array} \;\; \Longleftrightarrow \;\; \begin{array}{cl} \textcolor{red}{\neg A} \vee \textcolor{green}{P} &= V \\ \textcolor{green}{\neg P} \vee \textcolor{blue}{C} &= V \\ P \vee C \vee \textcolor{red}{A} &= V \\ A \vee \textcolor{blue}{\neg C} &= V \\ \\ \hline \\ A \vee P \vee C &= V. \end{array} \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-7d83a2ab118e221f72c1e9e7c040db50_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
