A proposição simbolizada por (A→B)→(B→A) possui uma única valoração F.
A proposição simbolizada por
possui uma única valoração F.
A partir desses conceitos, julgue os próximos itens.
Considere as seguintes proposições:
P: "Mara trabalha" e Q: "Mara ganha dinheiro"
Nessa situação, é válido o argumento em que as premissas são "Mara não trabalha ou Mara ganha dinheiro" e "Mara não trabalha", e a conclusão é "Mara não ganha dinheiro".
Na lógica sentencial, denomina-se proposição uma frase que pode ser julgada como verdadeira (V) ou falsa (F), mas não, como ambas. Assim, frases como "Como está o tempo hoje?" e "Esta frase é falsa" não são proposições porque a primeira é pergunta e a segunda não pode ser nem V nem F. As proposições são representadas simbolicamente por letras maiúsculas do alfabeto — A, B, C etc. Uma proposição da forma "A ou B" é F se A e B forem F, caso contrário é V; e uma proposição da forma "Se A então B" é F se A for V e B for F, caso contrário é V. Um raciocínio lógico considerado correto é formado por uma seqüência de proposições tais que a última proposição é verdadeira sempre que as proposições anteriores na seqüência forem verdadeiras.
Considerando as informaçõ...
Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F) quando são atribuídos valores às variáveis e um significado ao predicado. Por exemplo, a proposição "Para qualquer x, tem-se que x - 2 > 0" possui interpretação V quando x é um número real maior do que 2 e possui interpretação F quando x pertence, por exemplo, ao conjunto {-4, -3, -2, -1, 0}.
Com base nessas informações, julgue os próximos itens.
A proposição funcional "Existem números que são divisíveis por 2 e por 3" é verdadeira para elementos do conjunto {2, 3, 9, 10, 15, 16}.
Uma proposição é uma frase afirmativa que pode ser julgada como verdadeira ou falsa. Com base nessa definição, julgue os itens que se seguem.
A afirmação O valor do salário mínimo no Brasil é inferior a R$ 300,00 é verdadeira.
Uma proposição é uma frase afirmativa que pode ser julgada como verdadeira ou falsa. Com base nessa definição, julgue os itens que se seguem.
Se a proposição Rosas são azuis for considerada verdadeira, então a proposição Rosas não são azuis é necessariamente falsa.
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.
...
