Ciencia da computaçao
(ESAF AFC-STN/2005) A afirmação “Alda é alta, ou Bino não é baixo, ou Ciro é calvo” é falsa. Segue-se, pois, que é verdade que: a) se Bino é baixo, Alda é alta, e se Bino não é baixo, Ciro não é calvo. b) se Alda é alta, Bino é baixo, e se Bino é baixo, Ciro é calvo. c) se Alda é alta, Bino é baixo, e se Bino não é baixo, Ciro não é calvo. d) se Bino não é baixo, Alda é alta, e se Bino é baixo, Ciro é calvo. e) se Alda não é alta, Bino não é baixo, e se Ciro é calvo, Bino não é baixo. A questão exige do candidato apenas conhecimento das operações lógicas fundamentais. Vamos representar as proposições simples: p: Alda é alta q: Bino é baixo r: Ciro é calvo Escrevendo o enunciado em linguagem simbólica: p v ~q v r A afirmação dita no enunciado, representada por p v ~q v r, é falsa. Sabemos que na disjunção entre duas (ou mais) proposições p e q, seu valor lógico será Falsidade somente quando p e q forem ambas falsas (ver tabela-verdade do “ou” que foi apresentada em tópicos anteriores). Na questão, temos não duas, mas três proposições. Então p, q e ~r têm valores lógicos falsidade. Entenderam? De uma outra maneira dizemos: para que a proposição p v ~q v r seja considerada falsa, temos que ter a combinação F v F v F na respectiva tabela-verdade:
Com isso, descobrimos que “Alda não é alta”, “Bino é baixo” e “Ciro não é calvo”. A questão pede uma proposição composta com valor lógico verdade, a partir dos valores lógicos de p, q e r. Escrevendo cada item em linguagem simbólica temos: