Revisão aula 8

Pra quando é o trabalho?

• 23/10/23

• 31/02/24

• 23/11/32

• 32/10/23

O que é obrigado fazer?

• Escrito em Python

• Escrito em uma linguagem de programação

• Um algoritmo

• Tabela-Verdade

Qual símbolo representa existência?

• ∃

• ∀

• →

• ^

Dada a seguinte fórmula, qual argumento melhor a representa: ∀𝒙(𝑯(𝒙)) → 𝑴(𝒙))

• Sócrates é humano

• Todo humano é mortal

• Sócrates é mortal

• Sócrates é mortal, mas não é humano

Sabendo que "todo programa é um algoritmo, mas nem todo algoritmo é um programa", qual diagrama melhor descreve a relação entre algoritmo programa.

• 
• 
• 
• 

Usando o método de corte, qual a conclusão para as premissas: “Todo homem é mortal” e

“Todo ser racional é homem”

• Todo ser racional é mortal

• Pelo menos um animal é racional

• Todo racional vive

• Nenhum racional é mortal

Para qual(is) interpretação(ões) p ^ q = V?

• p = V; q = V

• p = V; q = F

• p = F; q = V

• p = F; q = F

Para qual(is) interpretação(ões) p V q = V?

• p = V; q = V

• p = V; q = F

• p = F; q = V

• p = F; q = F

Para qual(is) interpretação(ões) p -> q = V?

• p = V; q = V

• p = V; q = F

• p = F; q = V

• p = F; q = F

Para qual(is) interpretação(ões) p <-> q = V?

• p = V; q = V

• p = V; q = F

• p = F; q = V

• p = F; q = F