Questões de Concurso
Sobre tautologia, contradição e contingência em raciocínio lógico
Foram encontradas 899 questões
Dadas as proposições
P , Q
e
R , o número de linhas da tabela-verdade da
proposição composta (P ∧ Q) 
R
é:
Considere as afirmações:
I. Se o diretor é forte, então o secretário é fraco ou o diretor é forte.
II. João é alto ou Paulo é gordo e João não é alto e Paulo não é gordo.
III. Carlos não é tímido e, se Pedro é expansivo, então Carlos é tímido.
Na ordem em que estão expressas, as afirmações são, respectivamente, uma
Sejam P1, P2 e C duas premissas e a conclusão, respectivamente, julgue o item .
O argumento P1 ^ P2 → C a seguir é um argumento válido.
P1: Se estudar, passa.
P2: Não estudou.
C: Não passou.
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.
No que segue, ~, ˅, ˄ e → representam os conectivos lógicos negação, disjunção, conjunção e condicional, respectivamente.
Qual das alternativas abaixo corresponde aos itens omissos da última coluna da tabela abaixo (de cima para baixo), onde V representa a Verdade e Fa Falsidade?
Sejam ~, ˅, ˄ e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, conjunção e bicondicional. Considere as proposições p e q a seguir:
p: O Brasil é o maior país da América do Sul;
q: A França é um país asiático.
Pode-se afirmar sobre o valor lógico da proposição composta R: ~(p ˄ q) ˅ ~ (q↔ p) que:
Considere as seguintes proposições.
• P1: Se a empresa privada causar prejuízos à sociedade e se o governo interferir na sua gestão, então o governo dará sinalização indesejada para o mercado.
• P2: Se o governo der sinalização indesejada para o mercado, a popularidade do governo cairá.
• Q1: Se a empresa privada causar prejuízos à sociedade e se o governo não interferir na sua gestão, o governo será visto como fraco.
• Q2: Se o governo for visto como fraco, a popularidade
do governo cairá
Tendo como referência essas proposições, julgue o item seguinte, a respeito da lógica de argumentação.
A tabela-verdade da proposição P1ʌ P2ʌ Q1ʌ Q2 tem mais
de 30 linhas.
Se P, Q, R e S forem proposições simples, então a tabela-verdade da proposição PʌQ→ RVS terá menos de 20 linhas.
Se uma proposição na estrutura condicional — isto é, na forma P→Q, em que P e Q são proposições simples — for falsa, então o precedente será, necessariamente, falso.
A lógica bivalente não obedece ao princípio da não contradição, segundo o qual uma proposição não assume simultaneamente valores lógicos distintos.
Se as proposições “A afirmação foi feita pelo político.” e “A população acredita na afirmação feita pelo político.” forem falsas, então a proposição “Se a afirmação foi feita pelo político, a população não acredita na afirmação feita pelo político.” também será falsa.
A: O número 10 é ímpar; B: A raiz quadrada de 16 é um número inteiro.
Com base no exposto, assinale a alternativa correta.
Para construir a tabela verdade da proposição ~ (pV ~q), um estudante montou o quadro apresentado.
Ao se preencher completamente e corretamente a tabela, o
número de F encontrado na última coluna é igual a
Se n for um número natural diferente de 1, então
n pode ser decomposto como um produto de fatores
primos, de modo único, a menos da ordem dos fatores;
Ora,
n não é um número natural diferente de 1;
Então,
n não pode ser decomposto como um produto de fatores primos, de modo único, a menos da ordem dos fatores.
Acerca do silogismo acima, julgue o item
É correto afirmar que o silogismo é válido, ou seja, sua conclusão é obrigatória a partir das duas premissas.
Sejam P1, P2 e C duas premissas e a conclusão, respectivamente, julgue o item acerca da lógica da argumentação e dos diagramas lógicos.
P1: Nem estudou, nem passou; P2: Estudou ou passou; C: Estudou se, e somente se, passou.
Conheça nossos planos