Ensino SuperiorQuantificadores(Logica)

Poste aqui problemas sobre assuntos estudados no Ensino Superior (exceto os cobrados em concursos públicos e escolas militares).

Moderador: [ Moderadores TTB ]

Avatar do usuário
Ronny
Guru
Mensagens: 436
Registrado em: 19 Abr 2017, 22:55
Última visita: 02-11-18
Agradeceu: 154 vezes
Agradeceram: 20 vezes
Ago 2017 24 19:11

Quantificadores(Logica)

Mensagem não lida por Ronny »

Todos sabemos que [tex3]\exists x(P(x)\rightarrow Q(x)) [/tex3] equivale a Qualquer [tex3]xP(x)\rightarrow \exists xQ(x)[/tex3] . Minha questao esta ai, como 'e que eu posso DEMONSTRAR isso? :roll: 8) , da mesma forma que nos sabemos que a negacao de QUALQUER x P(x) equivale a EXISTE x negacao P(x), como e que eu posso DEMONSTRAR isso?

Responder
  • Tópicos Semelhantes
    Respostas
    Exibições
    Última mensagem
  • Nova mensagem Quantificadores Lógicos
    por Marcos10 » » em Concursos Públicos
    0 Respostas
    585 Exibições
    Última mensagem por Marcos10
  • Nova mensagem Quantificadores Lógicos e Sentenças Abertas
    por legislacao » » em Concursos Públicos
    8 Respostas
    2866 Exibições
    Última mensagem por legislacao
  • Nova mensagem Quantificadores
    por ASPIRADEDEU » » em Gramática
    1 Respostas
    1700 Exibições
    Última mensagem por goncalves3718
  • Nova mensagem Quantificadores
    por ASPIRADEDEU » » em Gramática
    1 Respostas
    2372 Exibições
    Última mensagem por Ósmio
  • Nova mensagem (PUC-RIO)Quantificadores
    por ASPIRADEDEU » » em Gramática
    1 Respostas
    1960 Exibições
    Última mensagem por ASPIRADEDEU

Voltar para “Ensino Superior”