Lógica Computacional: Conectivos, Argumentos Válidos, Equivalências e Predicados

Prévia do material em texto

Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Considerando as lógicas de predicados, proposicional e outras que utilizam os denominados conectivos lógicos, igualmente chamados de operadores, quanto à utilização dos conectivos lógicos na lógica de predicados, assinale a alternativa CORRETA :
Alternativa correta:
·  b) Permitem utilizar conectivos lógicos para operações como disjunção, conjunção, negação, condicional, bicondicional e outras.
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Os argumentos válidos fundamentais são utilizados para fazer inferências – executar passos que permitam efetuar uma demonstração, deduzir. Por esse motivo, esses argumentos são chamados, também, de:
Alternativa correta:
·  c) Regras de inferência;
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Dadas as seguintes equivalências: p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r p → q ⇔ ~(p ∧ ~q) ⇔ ~p ∨ q ~(p ↔ q) ⇔ (p ∧ ~q) ∨ (~p ∧ q) p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) ... Ver tudo
Alternativa correta:
·  c) Leis AssociativasCondicionalBicondicionalLeis DistributivasLeis Idempotentes
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferência, sejam dados definidos em predicados como nos dois exemplos mostrados a seguir – predicados com dois parâmetros que especificam o nome do produto e seu preço –, utilizados para analisar ... Ver tudo
Alternativa correta:
·  c) p: t: barato(p) preco(p, t) t < 50.0
 Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Considerando que a lógica de predicados possui algumas características que a diferenciam da lógica proposicional e de outras lógicas, quanto ao conceito de predicado dentro da lógica de predicados, o elemento fundamental da lógica de predicados.
Alternativa correta:
·  e) é o predicado. Pode-se considerar o predicado como uma função que poderá ter uma lista de parâmetros ou argumentos e que retornará um valor lógico – verdadeiro ou falso.
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Leia atentamente as seguintes proposições: I - q ˄ (h v ~r) II - (h ^ ~q) v (h ^ ~r) III - (p ˄ (~r v q)) ^ (~q ∨ ~r) Está na Forma Normal Conjuntiva (FNC), o que se apresenta em:
Alternativa correta:
·  b) I e III, apenas
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Sejam as proposições compostas: P(p, q, r) = (p → q) ∨ (p → r) Q(p, q, r) = p → q ∨ r A demonstração que P ⇔ Q, é feita a partir da aplicação das equivalências lógicas notáveis em P, na ordem:
Alternativa correta:
·  a) Condicional.Comutativa.Idempotente.Associativa.Condicional.
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Argumentos Válidos Fundamentais são argumentos que nem precisariam de demonstração, dado que são verdadeiros, de modo que podemos confiar em sua validade. Nesse contexto, considere os seguintes argumentos: Adição Conjunção Silogismo Disjunto Modus tollens Modus Ponens. Selecione, dentre as opções abaixo, aquela que apresenta exemplos dos argumentos válidos fundamentais na ... Ver tudo
Alternativa correta:
·  b) p Ͱ p ∨ qp , q Ͱ p ∧ qp ∨ q , ~p Ͱ qp → q , ~q Ͱ ~pp → q , p Ͱ q
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Considerando que o argumento a uma afirmação de que dada sequência finita P1, P2..., Pn de proposições lógicas tem como consequência ou acarreta uma proposição final Q, logo: P1, P2, P3..., Pn Ⱶ Q E que um argumento poderá ser lido de diversas formas: •P1, P2, P3..., Pn acarretam Q; ... Ver tudo
Alternativa correta:
·  b) Um argumento P1, P2, P3..., Pn Ⱶ Q será considerado válido se e somente se a conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn forem verdadeiras. Ademais, tal argumento será válido se e somente se a condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for tautológica, ou seja, se esta condicional for uma tautologia.
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Leia, atentamente, as seguintes proposições: I - ~(A v B) ↔ ~A v ~B II - ~(A ^ B) ↔ ~A ^ ~B III - (A → B) ↔ ~A v B É equivalência lógica o que se afirma em:
Alternativa correta:
·  c) III, apenas
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Sobre lógica de proposições, assinale a alternativa verdadeira:
Alternativa correta:
·  b) Proposições compostas são aquelas formadas pela combinação de duas ou mais proposições simples
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferência, sejam dados definidos em predicados como nos dois exemplos mostrados a seguir – com dois parâmetros que especificam um modelo de veículo e seu consumo em quilômetros por litro –, ... Ver tudo
Alternativa correta:
·  e) p: t: consumo(p, t) t > 11.5 economico(p)
Disciplina - LÓGICA COMPUTACIONAL (2943) - Enunciado: Considerando as equivalências notáveis distributivas, é CORRETO afirmar que a proposição p ᴧ (q v r) é equivalente a:
Alternativa correta:
·  b) (p ᴧ q) v (p ᴧ r)