Filtrar


Questões por página:


A tabela acima é formada por duas linhas, L1 e L2, e por 2.000 colunas, C1, C2, ..., C 2.000. Cada célula (Ci , Lj ) dessa tabela contém uma combinação dos símbolos colocados seguindo um padrão definido. Com base nessas informações, julgue o item seguinte.

A célula (C110 , L1) contém 36 cópias do símbolo
Florência come às quintas-feiras, sextas-feiras e sábados, mas faz jejum nos demais dias da semana.
Em um certo mês que tem apenas 30 dias, Florência comeu nos 3 últimos dias do mês. O primeiro dia desse mês caiu em que dia da semana?
Considere as sentenças da lógica de primeira ordem a seguir.

I - ∃x ∃y A(x,y) Λ ¬ ∃x A(x,x)

II - ∀ x ∀y A (x,y) Λ ¬ ∀ x A (x,x)

III - ∀ x ∀ A ( x, y) → ¬ ∀ xA (x, x)

São insatisfatíveis APENAS as sentenças apresentadas em

Visualizar Questão Comentada
Considere as proposições a seguir.

I - ¬ ( A Λ B ) ↔ ( A → ¬ B)

II - ¬ (A→ ¬ B) → ((A V ¬ B ) Λ (¬ A V B))

III - ((A→ B) → A) → A

IV - ((A V B) Λ (¬ A V C )) → (B V C )

São tautologias as proposições apresentadas em
Considere as cláusulas C1 e C2, representadas, respectivamente, pelos conjuntos { ¬ A(x),B(x)} e { A(g(y)),B(y)}.
Um resolvente dessas cláusulas é