- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalImplicação Lógica
- Lógica ProposicionalQuantificadores Lógicos
Sejam as sentenças abertas S(x): x > 10 e T(x): x2 > 20, em que x ∈ R.
Com base nessas sentenças, suponha que sejam definidas as proposições P e Q a seguir.
P: Para todo x real, se x > 10, então x2 > 20.
Q: Para todo x real, se x2 > 20, então x >10.
Sobre essas condições, considere as afirmativas a seguir.
I. A proposição P é verdadeira.
II. Se a proposição P é verdadeira, então a proposição Q é verdadeira.
III. As proposições P e Q são logicamente equivalentes.
IV. O conjunto solução de S∧T é igual ao conjunto solução de S.
Assinale a alternativa correta.
Com base nessas sentenças, suponha que sejam definidas as proposições P e Q a seguir.
P: Para todo x real, se x > 10, então x2 > 20.
Q: Para todo x real, se x2 > 20, então x >10.
Sobre essas condições, considere as afirmativas a seguir.
I. A proposição P é verdadeira.
II. Se a proposição P é verdadeira, então a proposição Q é verdadeira.
III. As proposições P e Q são logicamente equivalentes.
IV. O conjunto solução de S∧T é igual ao conjunto solução de S.
Assinale a alternativa correta.