Questão
ID 1316385Disciplina: Raciocínio Lógico
Assunto: Proposições Compostas (Moleculares)
Ano: 2008 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Tribunal Regional do Trabalho da 1ª Região
Texto para as questões de 19 a 22
Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, mas não se admitem os julgamentos V e F simultaneamente. As letras maiúsculas do alfabeto, A, B, C etc., são freqüentemente utilizadas para representar proposições simples e, por isso, são denominadas letras proposicionais. Alguns símbolos lógicos utilizados para construir proposições compostas são: “¬” (não) – usado para negar uma proposição; “∧” (e) – usado para fazer a conjunção de proposições; “∨” (ou) – usado para fazer a disjunção de proposições; “→” (implicação) – usado para relacionar condicionalmente as proposições, isto é, “A→B” significa “se A então B”. A proposição “¬A” tem valor lógico contrário ao de A; a proposição “A∨B” terá valor lógico F quando A e B forem F, caso contrário será sempre V; a proposição “A∧B"terá valor lógico F quando A e B forem V, caso contrário será sempre F; a proposição “A→B” terá valor lógico F quando A for V e B for F, caso contrário será sempre V.
Considere que são V as seguintes proposições:
⇨ “Se Joaquim é desembargador ou Joaquim é ministro, então Joaquim é bacharel em direito”;
⇨ “Joaquim é ministro”.
Nessa situação, conclui-se que também é V a proposição