Considere os conjuntos 
.
O número de elementos do conjunto 
é
Os itens a seguir apresentam argumentos formados por duas premissas seguidas por uma conclusão. Julgue se a conclusão apresentada em cada item é necessariamente verdadeira, sempre que as premissas forem verdadeiras.
Quando faço prova sem estudar tiro nota baixa. Na última prova tirei nota baixa. Logo, não estudei.
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.
...
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.
...
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...
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...
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 ...
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 ...
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 v...
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írgul...
