Aula 1
Aula 1
Aula 1
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
RACIOCÍNIO LÓGICO<br />
PROFESSOR: GUILHERME NEVES<br />
41. A proposição simbólica (A˄B)→(¬(A→(¬B))) é sempre julgada como V, independentemente de<br />
A e B serem V ou F.<br />
42. Se A, B e C são proposições simples, então existem exatamente duas possibilidades para que<br />
a proposição (A˄B)˄C seja avaliada como V.<br />
(SEBRAE 2010/CESPE-UnB)<br />
43. A proposição [¬B]˅{[¬B]→A} é uma tautologia. CERTO<br />
44. A proposição [¬B]˄[A→B] é logicamente falsa. ERRADO<br />
45. Considere que A, B e C sejam proposições simples, distintas, e que a proposição D seja<br />
definida por D = [A↔B]→[¬A]→C. Nesse caso, a tabela-verdade da proposição D tem 16 linhas.<br />
ERRADO<br />
46. (SGA/AC 2007/CESPE-UnB) As proposições A→B e (¬B) → (¬A) têm a mesma tabela<br />
verdade.<br />
47. (Agente Penitenciário SJDH-BA 2010/FCC) Uma afirmação equivalente à afirmação ―Se bebo,<br />
então não dirijo” é<br />
(A) Se não bebo, então não dirijo.<br />
(B) Se não dirijo, então não bebo.<br />
(C) Se não dirijo, então bebo.<br />
(D) Se não bebo, então dirijo.<br />
(E) Se dirijo, então não bebo.<br />
48. (Polícia Civil 2007/Ipad) A sentença ―Penso, logo existo‖ é logicamente equivalente a:<br />
a) Penso e existo.<br />
b) Nem penso, nem existo.<br />
c) Não penso ou existo.<br />
d) Penso ou não existo.<br />
e) Existo, logo penso<br />
49. (MPOG/2006/Esaf) Dizer que ―André é artista ou Bernardo não é engenheiro‖ é logicamente<br />
equivalente a dizer que:<br />
a) André é artista se e somente se Bernardo não é engenheiro.<br />
b) Se André é artista, então Bernardo não é engenheiro.<br />
c) Se André não é artista, então Bernardo é engenheiro.<br />
d) Se Bernardo é engenheiro, então André é artista.<br />
e) André não é artista e Bernardo é engenheiro.<br />
50. (TCE/MG/2007/FCC) São dadas as seguintes proposições:<br />
Prof. Guilherme Neves www.espacojuridico.com 62