Analise a argumentação a seguir: o nome desta regra de inferência é:
Soluções para a tarefa
Respondido por
1
Podemos afirmar corretamente a: Alternativa B (Conjunção). A regra descrita na figura da tarefa refere-se a conjunção lógica, uma operação na lógica matemática que pode ser ligada à operação de interseção de conjuntos.
Propriedades da conjunção lógica
A conjunção relaciona dois valores, mas usando o seu resultado podem ser feitas operações com mais valores.
Com uma tabela de verdade pode demonstrar-se a propriedade associativa:
- ((a ∧ b) ∧ c) é igual a (a ∧ (b ∧ c))
E portanto neste caso basta escrever:
- a ∧ b ∧ c
Sem necessidade de parêntesis, já que o resultado é o mesmo. Além disso, a conjunção lógica tem diversas propriedades:
- Comutatividade: a ∧ b ≡ b ∧ a
- Associatividade: (a ∧ b) ∧ c ≡ a ∧ (b ∧ c)
- Leis de De Morgan: a ∧ b ≡ ¬ (¬a ∨ ¬b)
- A contradição é sempre falsa: a ∧ ¬a ≡ 0
- A verdade é o elemento neutro da conjunção: a ∧ 1 ≡ a
- A falsidade é o elemento absorvente da conjunção: a ∧ 0 ≡ 0
- Distributividade em relação à disjunção lógica: a ∧ (b ∨ c) ≡ (a ∧ b) ∨ (a ∧ c)
Complemento da Questão:
(...) p, q -> (p ^ q)
A. Absorção.
B. Conjunção.
C. Derivação.
D. Simplificação.
E. Adição.
Entenda mais sobre conjunção lógica em:
https://brainly.com.br/tarefa/13790787
#SPJ4
Perguntas interessantes