Questões de Concurso

    Uma proposição é uma declaração que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. As proposições são, frequentemente, simbolizadas por letras maiúsculas: A, B, C, D etc.
    As proposições compostas são expressões construídas a partir de outras proposições, usando-se símbolos lógicos, como nos casos a seguir.

• A÷B, lida como “se A, então B”, tem valor lógico F quando A for V e B for F; nos demais casos, será V;
• AVB, lida como “A ou B”, tem valor lógico F quando A e B forem F; nos demais casos, será V;
• AΛB, lida como “A e B”, tem valor lógico V quando A e B forem V; nos demais casos, será F;
• ¬A é a negação de A: tem valor lógico F quando A for V, e V, quando A for F.

    Uma sequência de proposições A₁, A₂, ..., A_k é uma dedução correta se a última proposição, A_k, denominada conclusão, é uma consequência das anteriores, consideradas V e denominadas premissas.
    Duas proposições são equivalentes quando têm os mesmos valores lógicos para todos os possíveis valores lógicos das proposições que as compõem.
    A regra da contradição estabelece que, se, ao supor verdadeira uma proposição P, for obtido que a proposição PΛ(¬P) é verdadeira, então P não pode ser verdadeira; P tem de ser falsa.

A partir dessas informações, julgue os itens os itens subsequentes.

Texto para os itens de 41 a 46

Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R etc. Novas proposições podem ser construídas usando-se símbolos especiais e parênteses. Uma expressão da forma P → Q é uma proposição cuja leitura é “se P então Q” e tem valor lógico F quando P é V e Q é F; caso contrário, é V. Uma expressão da forma P∨Q é uma proposição que se lê: “P ou Q”, e é F quando P e Q são F; caso contrário, é V. Uma expressão da forma P∧Q, que se lê “P e Q”, é V quando P e Q são V; caso contrário, é F. A forma ¬P simboliza a negação da proposição P e tem valores lógicos contrários a P. Um argumento lógico válido é uma sequência de proposições em que algumas são chamadas premissas e são verdadeiras por hipótese, e as demais são chamadas conclusões e são verdadeiras por consequência das premissas.

Considerando que cada proposição lógica simples seja representada por uma letra maiúscula e utilizando os símbolos usuais para os conectivos lógicos, julgue os itens seguintes.

Texto para os itens de 41 a 46

Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R etc. Novas proposições podem ser construídas usando-se símbolos especiais e parênteses. Uma expressão da forma P → Q é uma proposição cuja leitura é “se P então Q” e tem valor lógico F quando P é V e Q é F; caso contrário, é V. Uma expressão da forma P∨Q é uma proposição que se lê: “P ou Q”, e é F quando P e Q são F; caso contrário, é V. Uma expressão da forma P∧Q, que se lê “P e Q”, é V quando P e Q são V; caso contrário, é F. A forma ¬P simboliza a negação da proposição P e tem valores lógicos contrários a P. Um argumento lógico válido é uma sequência de proposições em que algumas são chamadas premissas e são verdadeiras por hipótese, e as demais são chamadas conclusões e são verdadeiras por consequência das premissas.

Considerando que cada proposição lógica simples seja representada por uma letra maiúscula e utilizando os símbolos usuais para os conectivos lógicos, julgue os itens seguintes.

Texto para os itens de 41 a 46

Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R etc. Novas proposições podem ser construídas usando-se símbolos especiais e parênteses. Uma expressão da forma P → Q é uma proposição cuja leitura é “se P então Q” e tem valor lógico F quando P é V e Q é F; caso contrário, é V. Uma expressão da forma P∨Q é uma proposição que se lê: “P ou Q”, e é F quando P e Q são F; caso contrário, é V. Uma expressão da forma P∧Q, que se lê “P e Q”, é V quando P e Q são V; caso contrário, é F. A forma ¬P simboliza a negação da proposição P e tem valores lógicos contrários a P. Um argumento lógico válido é uma sequência de proposições em que algumas são chamadas premissas e são verdadeiras por hipótese, e as demais são chamadas conclusões e são verdadeiras por consequência das premissas.

Considerando que cada proposição lógica simples seja representada por uma letra maiúscula e utilizando os símbolos usuais para os conectivos lógicos, julgue os itens seguintes.

Texto para os itens de 41 a 46

Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R etc. Novas proposições podem ser construídas usando-se símbolos especiais e parênteses. Uma expressão da forma P → Q é uma proposição cuja leitura é “se P então Q” e tem valor lógico F quando P é V e Q é F; caso contrário, é V. Uma expressão da forma P∨Q é uma proposição que se lê: “P ou Q”, e é F quando P e Q são F; caso contrário, é V. Uma expressão da forma P∧Q, que se lê “P e Q”, é V quando P e Q são V; caso contrário, é F. A forma ¬P simboliza a negação da proposição P e tem valores lógicos contrários a P. Um argumento lógico válido é uma sequência de proposições em que algumas são chamadas premissas e são verdadeiras por hipótese, e as demais são chamadas conclusões e são verdadeiras por consequência das premissas.

Considerando que cada proposição lógica simples seja representada por uma letra maiúscula e utilizando os símbolos usuais para os conectivos lógicos, julgue os itens seguintes.