Question

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; “v” (e) – usado para fazer a conjunção de proposições; “w” (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 “AwB” terá valor lógico F quando A e B forem F, caso contrário será sempre V; a proposição “AvB” terá valor lógico V 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 todas as proposições listadas abaixo são V. I Existe uma mulher desembargadora ou existe uma mulher juíza. II Se existe uma mulher juíza então existe uma mulher que estabelece punições ou existe uma mulher que revoga prisões. III Não existe uma mulher que estabelece punições. IV Não existe uma mulher que revoga prisões. Nessa situação, é correto afirmar que, por conseqüência da veracidade das proposições acima, é também V a proposição

Accepted Answer

D) Não existe uma mulher juíza.

Answer

A) Existe uma mulher que estabelece punições mas não revoga prisões.

Answer

B) Existe uma mulher que não é desembargadora.

Answer

C) Se não existe uma mulher que estabelece punições então existe uma mulher que revoga prisões.

Answer

E) Existe uma mulher juíza mas não existe uma mulher que estabelece punições.

Mais questões de Quantificadores universal e existencial