Questões sobre Algebra das Proposições

Considere as quatro sentenças enumeradas a seguir.

 I Para cada y, existe algum x, tal que x < y.

 II Para cada x e para cada y, se x < y então existe algum z, tal que x < z e z < y.

III Para cada x, se 0 < x, então existe algum y tal que x = y × y. IV Existe algum x tal que, para cada y, x < y.

Suponha que, nessas sentenças, x, y e z sejam variáveis que podem assumir valores no conjunto dos números naturais no dos números inteiros no dos números racionais ou no conjunto dos números reais

Em cada linha da tabela a seguir, são atribuídas valorações V e F, para cada uma das quatro sentenças enumeradas acima, de acordo com o conjunto no qual as variáveis x, y e z assumem valores.

 Julgue os itens subseqüentes, a respeito dessas sentenças.

As avaliações dadas para as sentenças I e III estão corretas.

Denomina-se contradição uma proposição que é sempre falsa. Uma forma de argumentação lógica considerada válida é embasada na regra da contradição, ou seja, no caso de uma proposição ¬R verdadeira (ou R verdadeira), caso se obtenha uma contradição, então conclui-se que R é verdadeira (ou ¬R é verdadeira). Considerando essas informações e o texto de referência, e sabendo que duas proposições são equivalentes quando possuem as mesmas valorações, julgue os itens que se seguem.

Considere que, em um pequeno grupo de pessoas — G — envolvidas em um acidente, haja apenas dois tipos de indivíduos: aqueles que sempre falam a verdade e os que sempre mentem. Se, do conjunto G, o indivíduo P afirmar que o indivíduo Q fala a verdade, e Q afirmar que P e ele são tipos opostos de indivíduos, então, nesse caso, é correto concluir que P e Q mentem.

Denomina-se contradição uma proposição que é sempre falsa. Uma forma de argumentação lógica considerada válida é embasada na regra da contradição, ou seja, no caso de uma proposição ¬R verdadeira (ou R verdadeira), caso se obtenha uma contradição, então conclui-se que R é verdadeira (ou ¬R é verdadeira). Considerando essas informações e o texto de referência, e sabendo que duas proposições são equivalentes quando possuem as mesmas valorações, julgue os itens que se seguem.

De acordo com a regra da contradição, P → Q é verdadeira quando ao supor  verdadeira, obtém-se uma contradição.

Texto para os itens de 44 a 48

A partir das informações do texto acima, julgue os itens subseqüentes.

O número de tabelas de valorações distintas que podem ser obtidas para proposições com exatamente duas variáveis proposicionais é igual a 2⁴.

Texto para os itens de 44 a 48

A partir das informações do texto acima, julgue os itens subseqüentes.

As proposições possuem tabelas de valorações iguais.