Lógica proposicional

Sabendo que a passagem seguinte é um argumento, diga qual é sua conclusão na forma da Lógica Proposicional.

(Note que o símbolo "¬" é uma negação; "→" é uma implicação; "↔" é uma bi-implicação; "∧" é uma conjunção; e "∨" é uma disjunção. )

“Se os princípios morais básicos não são demonstráveis e também não são auto-evidentes, então não temos conhecimento moral. Isto é consequência do fato de que se nós tivéssemos conhecimento moral, então os princípios morais básicos seriam demonstráveis ou auto-evidentes.”

Escolha uma:

a. ((¬D ∧ ¬A) → ¬M)

b. (M → (D ∨ A))

c. (M → (D ∨ A))

d. (¬D ∧ (A → ¬M))

Questão 2

Ainda não respondida

Vale 5,00 ponto(s).

Marcar questão

Texto da questão

Sabendo que a passagem seguinte é um argumento, diga qual é sua conclusão na forma da Lógica Proposicional.

(Note que o símbolo "¬" é uma negação; "→" é uma implicação; "↔" é uma bi-implicação; "∧" é uma conjunção; e "∨" é uma disjunção. )

“Uma vez que se você sustenta uma crença moral e não age de acordo com ela, então você está agindo errado. Afinal de contas, se você sustenta uma crença moral e não age de acordo com ela, então você é inconsistente. Por conseguinte, se você é inconsistente, então você está agindo errado ou não sustenta uma crença moral.”

Escolha uma:

a. (I → (E ∨ ¬C))

b. ((C ∧ ¬A) → I)

c. ((C ∧ ¬A) → E)

d. ((I → ¬E) ∨ ¬C)

Questão 3

Ainda não respondida

Vale 5,00 ponto(s).

Marcar questão

Texto da questão

Traduza estas sentenças para formulas-bem-formada da linguagem proposicional formal.

(Note que o símbolo "¬" é uma negação; "→" é uma condicional; "↔" é um bicondicional; "∧" é uma conjunção; e "∨" é uma disjunção. )

Se a distância de A a B pode ser dividida em uma infinidade de pontos espaciais e não se pode cruzar uma infinidade de pontos espaciais em um tempo finito, então não se pode mover de A para B em um tempo finito.

Escolha uma:

a. (¬D ∧ (¬C → ¬M))

b. ((¬D ∧ ¬C) → ¬M)

c. ((D ∧ ¬C)→ ¬M)

d. ((¬D ∧ C) → ¬M)

Questão 4

Ainda não respondida

Vale 5,00 ponto(s).

Marcar questão

Texto da questão

Traduza estas sentenças para formulas-bem-formada da linguagem proposicional formal.

(Note que o símbolo "¬" é uma negação; "→" é uma condicional; "↔" é um bicondicional; "∧" é uma conjunção; e "∨" é uma disjunção. )

Você será aprovado, se e somente se você tirar 10 na prova final e não reprovar por falta.

Escolha uma:

a. ((A ↔ D) ∧ F)

b. ((A ↔ D) ∨ ¬F)

c. (A ↔ (D ∧ ¬F))

d. ((A ↔ D) ∧ ¬F)

Questão 5

Ainda não respondida

Vale 5,00 ponto(s).

Marcar questão

Texto da questão

Identifique o tipo de falácia apresentada na declaração abaixo:

A imigração para Alberta de Ontário aumentou. Logo depois, o uso da Previdência Social aumentou. Portanto, o aumento da imigração causou o aumento o uso da Previdência Social.

Escolha uma: