Sejam, agora, as seguintes proposições compostas denotadas por: “P”, “Q”, “R”, “S”, “T”, “U”, “V” e “X” representadas por: P: Se Luciana estuda e João bebe, então Carlos não dança. Q: É falso que João bebe ou Carlos dança, mas Luciana não estuda. R: Ou Luciana estuda ou Carlos dança se, e somente se, João não bebe. O primeiro passo é destacarmos os operadores lógicos (modificadores e conectivos) e as proposições. Depois reescrevermos de forma simbólica, vejamos: Juntando as informações temos que, P: (p ^ q) → ~r Continuando: Q: É falso que João bebe ou Carlos dança, mas Luciana estuda. Simbolicamente temos: Q: ~ (q v r ^ ~p). R: Ou Luciana estuda ou Carlos dança se, e somente se, João não bebe. (p v r) ↔ ~q
a) ((p ^ q) → ~r) v s b) p ^ ((q → r) v s) c) (p ^ (q → r)) v s d) p ^ (q → (r v s)) e) (p ^ q) → (r v s)
(DOCAS/PB – Assistente Administrativo – IBFC) Dentre as alternativas, a única correta é: (A) O valor lógico da conjunção entre duas proposições é verdade se os valores lógicos das duas proposições forem falsos. (B) O valor lógico do bicondicional entre duas proposições é verdade se os valores lógicos das duas proposições forem falsos. (C) O valor lógico da disjunção entre duas proposições é verdade se os valores lógicos das duas proposições forem falsos. (D) O valor lógico do condicional entre duas proposições é falso se os valores lógicos das duas proposições forem falsos.
(TCE/SP – Auxiliar da Fiscalização Financeira II – FCC) Considere a afirmação condicional: Se Alberto é médico ou Alberto é dentista, então Rosa é engenheira. Seja R a afirmação: 'Alberto é médico'; Seja S a afirmação: 'Alberto é dentista' e Seja T a afirmação: 'Rosa é engenheira'. A afirmação condicional será considerada necessariamente falsa quando (A) R for verdadeira, S for falsa e T for verdadeira. (B) R for falsa, S for verdadeira e T for verdadeira. (C) R for falsa, S for falsa e T for falsa. (D) R for falsa, S for falsa e T for verdadeira. (E) R for verdadeira, S for falsa e T for falsa.
A B C D E
(ISGH - Médico Pediatra - Instituto Pró Município) Analise as seguintes proposições: Proposição I: 4 é número par; Proposição II: 2 > 5; Proposição III: 6 é número ímpar. Qual das proposições abaixo apresenta valor lógico verdadeiro? (A) Se 2 > 5 e 6 é número ímpar, então 4 é número par; (B) Se 2 > 5 ou 4 é número par, então 6 é número ímpar; (C) Se 4 é número par ou 6 é número ímpar, então 2 > 5; (D) Se 4 é número par, então 2 > 5 ou 6 é número ímpar.