Raciocínio Lógico

Cartões · 32

Qual é a negação da proposição 'Todo gato é pardo'?

A negação de 'Todo A é B' é 'Pelo menos um A não é B'. Resposta: 'Pelo menos um gato não é pardo' (ou 'Existe algum gato que não é pardo').

Qual é a negação de 'Nenhum homem é imortal'?

A negação de 'Nenhum A é B' é 'Existe algum A que é B'. Resposta: 'Pelo menos um homem é imortal'.

Qual é a equivalência lógica de 'Se chover, então levarei o guarda-chuva' (p -> q)?

Pela contrapositiva (~q -> ~p): 'Se eu não levei o guarda-chuva, então não choveu'. Ou por (~p v q): 'Não choveu ou levei o guarda-chuva'.

Qual é a negação da condicional 'Se estudo, então passo no exame' (p -> q)?

A negação de p -> q é p ^ ~q (regra do 'MA NE': mantém a primeira E nega a segunda). Resposta: 'Estudo e não passo no exame'.

Se 'Todos os cães latem' e 'Rex é um cão', o que se conclui?

Aplicação do Silogismo Doutrinário (Modus Ponens). Se todo A é B e x é A, logo x é B. Resposta: 'Rex late'.

O que é uma Tautologia na lógica proposicional?

É uma proposição composta que é sempre verdadeira, independentemente dos valores lógicos das proposições simples que a compõem. Exemplo: p v ~p.

O que é uma Contradição?

É uma proposição composta que é sempre falsa, independentemente dos valores lógicos das proposições componentes. Exemplo: p ^ ~p.

O que é uma Contingência?

É uma proposição composta que pode ser verdadeira ou falsa, dependendo dos valores lógicos de suas proposições simples.

Qual é o valor lógico de uma Conjunção (p ^ q)?

A conjunção 'e' só é VERDADEIRA se ambas as proposições (p e q) forem verdadeiras. Caso contrário, é falsa.

Qual é o valor lógico de uma Disjunção Inclusiva (p v q)?

A disjunção 'ou' só é FALSA se ambas as proposições (p e q) forem falsas. Se ao menos uma for verdadeira, ela é verdadeira.

Qual é o valor lógico de uma Condicional (p -> q)?

A condicional 'Se... então' só é FALSA quando a primeira (p) é verdadeira e a segunda (q) é falsa (V -> F = F). Nos demais casos, é verdadeira.

Qual é o valor lógico de uma Bicondicional (p <-> q)?

A bicondicional 'se e somente se' é VERDADEIRA quando ambas as proposições têm o mesmo valor lógico (ambas V ou ambas F).

Qual é a negação da conjunção 'Ana é médica e Bruno é engenheiro' ~(p ^ q)?

Pela Lei de De Morgan ~(p ^ q) = ~p v ~q. Nega-se ambas e troca 'e' por 'ou'. Resposta: 'Ana não é médica ou Bruno não é engenheiro'.

Qual é a negação da disjunção 'Pedro viaja ou Maria estuda' ~(p v q)?

Pela Lei de De Morgan ~(p v q) = ~p ^ ~q. Nega-se ambas e troca 'ou' por 'e'. Resposta: 'Pedro não viaja e Maria não estuda'.

Complete a sequência lógica: 2, 4, 8, 16, ...

Cada termo é o dobro do anterior (multiplicação por 2). 16 x 2 = 32. Resposta: 32.

Complete a sequência lógica: 1, 1, 2, 3, 5, 8, ...

Sequência de Fibonacci: cada termo é a soma dos dois anteriores. 5 + 8 = 13. Resposta: 13.

Complete a sequência lógica: 3, 7, 11, 15, ...

Progressão aritmética com razão +4. 15 + 4 = 19. Resposta: 19.

Se a afirmação 'Algum médico é poeta' é verdadeira, o que se deduz sobre os conjuntos?

Significa que a intersecção entre o conjunto dos médicos e o conjunto dos poetas não é vazia (existe pelo menos um elemento em comum).

O que diz a regra de inferência Modus Ponens?

Dado 'p -> q' e a premissa 'p', conclui-se 'q'. Exemplo: Se chover, molha. Choveu. Logo, molhou.

O que diz a regra de inferência Modus Tollens?

Dado 'p -> q' e a premissa '~q', conclui-se '~p'. Exemplo: Se chover, molha. Não molhou. Logo, não choveu.

Qual é a falácia de 'Afirmação do Consequente'?

Erro lógico: Dado 'p -> q' e 'q', concluir erroneamente 'p'. Exemplo: Se chover, molha. Molhou, logo choveu (falso, pode ter sido a mangueira).

Qual é a falácia de 'Negação do Antecedente'?

Erro lógico: Dado 'p -> q' e '~p', concluir erroneamente '~q'. Exemplo: Se chover, molha. Não choveu, logo não molhou (falso, pode molhar de outro jeito).

O que é uma Disjunção Exclusiva (p v_ q)?

Usamos 'ou... ou'. É VERDADEIRA apenas quando uma das proposições é verdadeira e a outra é falsa. Se ambas forem V ou ambas F, é falsa.

Quantas linhas tem a tabela-verdade de uma proposição com 3 proposições simples?

A fórmula é 2^n, onde n é o número de proposições simples. Para n=3, temos 2^3 = 8 linhas.

Quantas linhas tem a tabela-verdade com 4 proposições simples?

Fórmula 2^n. Para n=4, temos 2^4 = 16 linhas.

Em um grupo, todos os advogados são leitores. Alguns leitores gostam de música. Conclui-se que todo advogado gosta de música?

Não. Os advogados estão dentro dos leitores, mas a parte dos leitores que gosta de música pode não interceptar os advogados. Conclusão inválida.

Qual é a negação de 'Algum aluno não passou'?

A negação de 'Algum A não é B' é 'Todo A é B'. Resposta: 'Todos os alunos passaram'.

O que é uma proposição simples?

É uma declaração que expressa um único pensamento completo e pode ser julgada como verdadeira ou falsa, sem conectivos lógicos.

Frases interrogativas, exclamativas ou imperativas são proposições lógicas?

Não. Apenas frases declarativas que podem receber valor V ou F são consideradas proposições lógicas.

Qual é o princípio do Terceiro Excluído?

Uma proposição só pode ser Verdadeira ou Falsa, não existindo uma terceira opção de valor lógico.

Qual é o princípio da Não-Contradição?

Uma proposição não pode ser verdadeira e falsa ao mesmo tempo sob as mesmas condições.

Se A implica B, e B implica C, o que se pode concluir?

Pela propriedade transitiva (Silogismo Hipotético), A implica C (A -> C).