O Sistersinspirit.ca facilita a busca por soluções para perguntas cotidianas e complexas com a ajuda de nossa comunidade. Conecte-se com profissionais em nossa plataforma para receber respostas precisas para suas perguntas de maneira rápida e eficiente. Obtenha respostas imediatas e confiáveis para suas perguntas de uma comunidade de especialistas experientes em nossa plataforma.

1. Determine se as fórmulas a seguir são wffs ("well-formed formula").


a) A

b) (A → B) ∧ C

c) B ∧ (C ∨ D))

d) B ∧ C ∨ D

e) ¬(A ∨ B) ∨ C → D

f) (¬((A ∨ B) ∧ C ↔ ((D ∨ ¬E) → F))

g) ((¬(A ∨ (¬B) ↔ D) ∨ E)