Questão 1316387

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 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