Questões sobre Algebra das Proposições

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Considere que as seguintes proposições compostas a respeito de um programa de computador sejam todas V.

• O programa tem uma variável não-declarada ou o programa possui erro sintático nas 4 últimas linhas.

• Se o programa possui erro sintático nas 4 últimas linhas, então ou falta um ponto-e-vírgula ou há uma variável escrita errada.

• Não falta um ponto e vírgula.

• Não há uma variável escrita errada. Simbolizando adequadamente essas proposições, é possível obter-se uma dedução cuja conclusão é a proposição: O programa não possui erro sintático nas 4 últimas linhas.

• C. Certo
• E. Errado

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como , então a proposição funcional  é avaliada como verdadeira.

• C. Certo
• E. Errado

Uma proposição é uma afirmação que pode ser julgada como verdadeira (V) ou falsa (F), mas não como ambas. As proposições são simbolizadas por letras maiúsculas do alfabeto, como A, B, C etc., que podem ser conectadas por símbolos lógicos. A expressão A6B é uma proposição lida como "A implica B", ou "A somente se B", ou "A é condição suficiente para B", ou "B é condição necessária para A", entre outras. A valoração de A6B é F quando A é V e B é F, e nos demais casos é V. A expressão ¬A é uma proposição lida como "não A" e tem valoração V quando A é F, e tem valoração F quando A é V. Uma seqüência de 3 proposições da forma A, A6B, B constitui um argumento válido porque sempre que A e A6B, chamadas premissas, tiverem valorações V, então a valoração de B, chamada conclusão, será obrigatoriamente V. A partir das informações do texto acima, julgue os itens a seguir.

Uma proposição da forma (¬B → ¬A) → (A→B) é F exatamente para uma das possíveis valorações V ou F, de A e de B.

• C. Certo
• E. Errado

Uma proposição é uma afirmação que pode ser julgada como verdadeira (V) ou falsa (F), mas não como ambas. As proposições são simbolizadas por letras maiúsculas do alfabeto, como A, B, C etc., que podem ser conectadas por símbolos lógicos. A expressão A6B é uma proposição lida como "A implica B", ou "A somente se B", ou "A é condição suficiente para B", ou "B é condição necessária para A", entre outras. A valoração de A6B é F quando A é V e B é F, e nos demais casos é V. A expressão ¬A é uma proposição lida como "não A" e tem valoração V quando A é F, e tem valoração F quando A é V. Uma seqüência de 3 proposições da forma A, A6B, B constitui um argumento válido porque sempre que A e A6B, chamadas premissas, tiverem valorações V, então a valoração de B, chamada conclusão, será obrigatoriamente V. A partir das informações do texto acima, julgue os itens a seguir.

A proposição "O piloto vencerá a corrida somente se o carro estiver bem preparado" pode ser corretamente lida como "O carro estar bem preparado é condição necessária para que o piloto vença a corrida".

• C. Certo
• E. Errado

Um algoritmo pode ser composto de uma lista de instruções a serem executadas na ordem da especificação. Nessa lista de instruções são freqüentemente usadas proposições da lógica de primeira ordem a serem avaliadas como verdadeiras (V) ou falsas (F), e a partir desse resultado se decide o prosseguimento da execução das instruções. Considere que uma instrução da forma c a + b significa que o valor obtido pela soma dos valores de a e de b é atribuído a c. Uma proposição do tipo "P e Q" é julgada V quando a proposição P é V e a proposição Q é V, e em qualquer outra combinação de valores a proposição "P e Q" é F. Uma proposição do tipo "P ou Q" é julgada F quando a proposição P é F e a proposição Q é F, e em qualquer outra combinação de valores a proposição "P ou Q" é V. Com base nessas informações, julgue os itens seguintes.

Tomando-se a = -1, está correto concluir que, após a execução da única instrução do algoritmo seguinte, o valor atribuído a b será 0.

• C. Certo
• E. Errado

Um algoritmo pode ser composto de uma lista de instruções a serem executadas na ordem da especificação. Nessa lista de instruções são freqüentemente usadas proposições da lógica de primeira ordem a serem avaliadas como verdadeiras (V) ou falsas (F), e a partir desse resultado se decide o prosseguimento da execução das instruções. Considere que uma instrução da forma c a + b significa que o valor obtido pela soma dos valores de a e de b é atribuído a c. Uma proposição do tipo "P e Q" é julgada V quando a proposição P é V e a proposição Q é V, e em qualquer outra combinação de valores a proposição "P e Q" é F. Uma proposição do tipo "P ou Q" é julgada F quando a proposição P é F e a proposição Q é F, e em qualquer outra combinação de valores a proposição "P ou Q" é V. Com base nessas informações, julgue os itens seguintes.

No algoritmo abaixo, tomando-se x = -3 e y = -5, é correto concluir que, após a execução da instrução (2), o valor atribuído a z será 15.

• C. Certo
• E. Errado

Os amigos André, Carlos e Sérgio contavam histórias acerca de suas incursões futebolísticas. André e Sérgio mentiram, mas Carlos falou a verdade. Então, dentre as opções seguintes, aquela que contém uma proposição verdadeira é:

• A. Se Carlos mentiu, então André falou a verdade.
• B. Se Sérgio mentiu, então André falou a verdade.
• C. Sérgio falou a verdade e Carlos mentiu.
• D. Sérgio mentiu e André falou a verdade.
• E. André falou a verdade ou Carlos mentiu.

Julgue os itens que se seguem.

Considere as proposições abaixo:

p: 4 é um número par;

q: A PETROBRAS é a maior exportadora de café do Brasil.

Nesse caso, é possível concluir que a proposição p º q é verdadeira.

• C. Certo
• E. Errado

Circuitos lógicos são estruturas que podem ser exibidas por meio de diagramas constituídos de componentes denominados portas lógicas. Um circuito lógico recebe um ou mais de um valor lógico na entrada e produz exatamente um valor lógico na saída. Esses valores lógicos são representados por 0 ou 1. As portas lógicas OU e N (não) são definidas pelos diagramas abaixo. 

Nesses diagramas, A e B representam os valores lógicos de entrada e S, o valor lógico da saída. Em OU, o valor de S é 0 quando A e B são ambos 0, caso contrário, é 1. Em N, o valor de S é 0 quando A for 1, e é 1 quando A for 0. Considere o seguinte diagrama de circuito lógico.

 Com base nas definições apresentadas e no circuito ilustrado acima, julgue os itens subseqüentes.

A saída no ponto Q terá valor lógico 1 quando A tiver valor lógico 0 e B tiver valor lógico 1.

• C. Certo
• E. Errado

Circuitos lógicos são estruturas que podem ser exibidas por meio de diagramas constituídos de componentes denominados portas lógicas. Um circuito lógico recebe um ou mais de um valor lógico na entrada e produz exatamente um valor lógico na saída. Esses valores lógicos são representados por 0 ou 1. As portas lógicas OU e N (não) são definidas pelos diagramas abaixo. 

Nesses diagramas, A e B representam os valores lógicos de entrada e S, o valor lógico da saída. Em OU, o valor de S é 0 quando A e B são ambos 0, caso contrário, é 1. Em N, o valor de S é 0 quando A for 1, e é 1 quando A for 0. Considere o seguinte diagrama de circuito lógico.

 Com base nas definições apresentadas e no circuito ilustrado acima, julgue os itens subseqüentes.

Considere-se que A tenha valor lógico 1 e B tenha valor lógico 0. Nesse caso, o valor lógico de S será 0.

• C. Certo
• E. Errado