(VUNESP – TCE/SP – 2017 – Agente da Fiscalização)
Considere verdadeiras as afirmações I, II, III e falsa a afirmação IV.
I. Se como, então não sinto fome.
II. Não sinto fome ou choro.
III. Se choro, então não sorrio.
IV. Não sinto fome ou grito.
A partir dessas afirmações, é verdade que:
a) Não grito e não choro.
b) Sorrio ou sinto fome.
c) Como ou grito.
d) Não sorrio e não sinto fome.
e) Choro e grito.
Solução:
Com base nas proposições I, II, III, e IV que foram dadas,
![\[ \left \{ \begin{array}{ccc} c \longrightarrow \neg f &= V \; &(I) \\ \neg f \vee c &= V \;&(II) \\ c \longrightarrow \neg s &= V \;&(III) \\ \neg f \vee g &= F\; &(IV) \end{array} \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-38826716ca5b119846b7fe46892ad677_l3.png "Rendered by QuickLaTeX.com")
A estratégia é começar a resolver pela afirmação que possua uma operação lógica mais “simples”. Neste caso, a melhor saída é começar pela afirmação 
ou 
. Tomando-se então a afirmação e fazendo-se a sua negação,
![\[ \begin{array}{l} \neg \left( \neg f \vee g \right) =\neg F \\ \\ f \wedge \neg g = V,\, se \left \{ \begin{array}{l} f = V;\\ g = F. \end{array} \end{array} \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-63c3f8e452e8ab5ed96a47f10bc6b6cc_l3.png "Rendered by QuickLaTeX.com")
Agora basta confrontar os valores lógicos obtidos para 
e 
com as afirmações 
, 
e 
, obtendo-se,
![\[ \left \{ \begin{array}{l} c = V; \\ s = F. \end{array} \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-9866adc134e3c8c1af14eaf8ffb73fb0_l3.png "Rendered by QuickLaTeX.com")
Então, após a aquisição dos valores lógicos para as proposições simples, e confrontá-los com as assertivas propostas, pode-se afirmar que o item B é o verdadeiro, pois,
![\[ s \vee f = F \vee V = V. \]](https://matematicaeafins.com.br/wp-content/ql-cache/quicklatex.com-415571b52e256742a0ab87ef6596a260_l3.png "Rendered by QuickLaTeX.com")
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
