Entrar

Questões de Concurso: Tabelas Verdade 114 Tautologia

Confira aqui questões de Tabelas Verdade 114 Tautologia para Concurso grátis com gabarito. Acesse milhares de exercícios com perguntas e respostas resolvidas e comentadas para treinar online. Se preferir, baixe o PDF!

Filtrar questões
💡 Selecione apenas 2 campos por vez e clique em filtrar.


Texto associado.
Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é válido quando P1 ^ P2 ^... ^ Pn -> Q é uma tautologia. Nesse caso, diz-se que a conclusão Q pode ser deduzida logicamente de P1 ^ P2 ^... ^ Pn. Alguns argumentos, chamados fundamentais, são usados correntemente em lógica proposicional para fazer inferências e, portanto, são também conhecidos como Regras de Inferência. Seja o seguinte argumento da Lógica Proposicional:
Premissa 1: SE Ana é mais velha que João, ENTÃO Ana cuida de João.
Premissa 2: SE Ana cuida de João, ENTÃO os pais de João viajam para o exterior.
Conclusão: SE Ana é mais velha que João, ENTÃO os pais de João viajam para o exterior.
Assinale a alternativa que apresenta o nome desse argumento.
🧠 Mapa Mental
Texto associado.

As irmãs Rosa, Lenita e Amália têm idades diferentes e hobbies diferentes, uma faz crochê, outra faz tricô e outra faz origami, não necessariamente nessa ordem. Uma das irmãs tem apenas um filho, enquanto entre as outras duas, uma tem 2 filhos e a outra 3. Sabendo que
- a mais velha tem 4 sobrinhos (filhos de suas irmãs), - Amália é mais velha do que Rosa, - Lenita faz tricô e tem mais filhos do que Rosa, e - a que faz crochê tem apenas um filho e não é a mais nova.
Está correto concluir que
🧠 Mapa Mental
Texto associado.

Em uma galáxia fictícia, existem três grupos de seres: os alidianos, os surapianos e os travigianos. Considere as afirmações abaixo sobre esses seres.
I. Todo alidiano é, também, surapiano. 
II. Existe pelo menos um alidiano que não é surapiano. 
III. Todo surapiano é, também, travigiano. Sabendo que apenas uma das três afirmações é falsa, é correto concluir que, necessariamente,
🧠 Mapa Mental