Desafios de Lógica Proposicional

O que são conectivos lógicos?

• Conectivos lógicos são apenas palavras-chave em programação.

• Conectivos lógicos são usados apenas em matemática.

• Conectivos lógicos são operadores que conectam proposições em lógica.

• Conectivos lógicos são sinônimos de proposições.

Quais são os principais conectivos lógicos?

• NÃO, SE E SOMENTE SE

• E, OU, NÃO, SE... ENTÃO, SE E SOMENTE SE

• OU, SE... ENTÃO, NÃO

• E OU NÃO, SE... ENTÃO

Como se constrói uma tabela-verdade?

• Uma tabela-verdade é construída apenas com valores verdadeiros.

• Uma tabela-verdade é feita apenas para expressões matemáticas.

• Uma tabela-verdade é construída listando todas as combinações de valores verdade das variáveis proposicionais e avaliando a expressão lógica para cada combinação.

• Uma tabela-verdade não precisa avaliar as combinações de variáveis.

Qual é a tabela-verdade do conectivo 'E'?

• P Q | P E Q V V | V V F | F F V | F F F | V

• P Q | P E Q V V | F V F | V F V | V F F | V

• P Q | P E Q V V | V V F | F F V | V F F | F F

• A tabela-verdade do conectivo 'E' é: P Q | P E Q V V | V V F | F F V | F F F | F

O que é implicação lógica?

• A implicação lógica é uma forma de argumento retórico.

• A implicação lógica é uma regra gramatical.

• A implicação lógica é uma relação entre proposições onde a verdade de uma implica a verdade da outra.

• A implicação lógica é uma técnica de persuasão.

Como se representa a implicação lógica em símbolos?

• P ∨ Q

• P ↔ Q

• P ∧ Q

• P → Q

O que é equivalência lógica?

• A equivalência lógica é a relação entre proposições que têm o mesmo valor de verdade.

• A equivalência lógica é a relação entre proposições que sempre são falsas.

• A equivalência lógica é a comparação entre números.

• A equivalência lógica é a diferença entre proposições que têm valores opostos.

Dê um exemplo de dois proposições equivalentes.

• p ∨ q e ¬p ∨ ¬q

• p ↔ q e ¬p ∧ ¬q

• p → q e ¬p ∨ q

• p ∧ q e ¬p ∧ q

O que caracteriza um argumento válido?

• Um argumento válido é aquele que não possui premissas.

• Um argumento válido é aquele que pode ser facilmente refutado.

• Um argumento válido é aquele que apresenta apenas opiniões pessoais.

• Um argumento válido é aquele em que a conclusão decorre logicamente das premissas.

Explique o que é um silogismo.

• Um silogismo é uma forma de arte visual.

• Um silogismo é uma técnica de escrita criativa.

• Um silogismo é um tipo de argumento emocional.

• Um silogismo é uma forma de raciocínio lógico que conecta premissas a uma conclusão.