Questão 3159227

3159227 Ano: 2023
Disciplina: Raciocínio Lógico
Banca: IMAIS
Orgão: Pref. Santos-SP

Provas:

Fiscal de Posturas Municipais
Provas ×
Secretário Escolar
Provas ×

Assinale a alternativa que representa uma fórmula válida na lógica clássica de primeira ordem.

!$ \forall \chi \, (P(\chi) \, \vee \, Q(\chi)) \, \Leftrightarrow \, (\forall \chi \,\, P (\chi) \, \Rightarrow \,\, \forall \chi \,\, Q \, (\chi)). !$

!$ (\forall \chi \,\, P (\chi) \, \vee \, \forall \chi \,\, Q (\chi)) \, \Rightarrow \, \forall \chi \,\, (P(\chi) \, \vee \,\, Q(\chi)). !$

!$ \exists \chi \,\, (P (\chi) \,\, \Rightarrow \, Q (\chi)) \, \Rightarrow \, (\exists \chi \, P(\chi) \, \Rightarrow \, \exists \chi \, Q(\chi)). !$

!$ \exists \chi \, (P (\chi) \, \land \, Q(\chi)) \, \Leftrightarrow (\exists \, P(\chi) \, \land \, \exists \chi \, Q(\chi)). !$

Provas

Questão presente nas seguintes provas

Fiscal de Posturas Municipais

40 Questões

Secretário Escolar

40 Questões

Provas

Fiscal de Posturas Municipais

Secretário Escolar

Acesse sua Conta

Crie uma Conta