Please enable JavaScript.

Coggle requires JavaScript to display documents.

Quantificadores, Predicados e Validade (Fbfs proposicionais = letras de…

- - - - Usando quantificador e predicado
        
        Quantificador: indica quantos objetos em algum sentido tem determinada propriedade. Predicado é a propriedade
        
        Quantificador existencial, simbolizado por um E ao contrário, ∃ e lê-se "existe", "há pelo menos um", "existe algum" ou "para algum"
        
        (∃ x) (x > 0), pode ser lida "existe um x tal que x é maior que zero"
        
        Novamente, o valor lógico da dessa expressão depende da interpretação. Se o domínio de interpretação contiver um número positivo, a expressão é verdadeira, caso contrário, é falsa
        
        Eles podem ser binários, ternários ou n-ários.
        
        1 more item...
        
        a) Dê uma interpretação, isto é, o conjunto universo e o significado de P(x) para a qual (∀ x) P(x) tem o valor verdadeiro
        
        c) É possível encontrar uma interpretação na qual, ao mesmo tempo, (∀ x) P(x) seja verdadeiro e (∃ x) P(x) seja falso?
        
        b) Dê uma interpretação para a qual (∀ x) P(x) tem o valor falso
        
        d) É possível encontrar uma interpretação na qual, ao mesmo tempo, (∀ x) P(x) seja falso e (∃ x) P(x) seja verdadeiro?
        
        Quantificador universal, simbolizado por um A de cabeça pra baixo, ∀ e lê-se "para todo", "para cada" ou "para qualquer"
        
        Exemplificando: (∀ x) P(x), no exemplo (∀ x) (x > 0)
        
        (∀ x) (x > 0) depende do domínio dos objetos sobre os quais estamos nos referindo, isso é, coleção de objetos dentre os quais x pode ser escolhido. Essa coleção de objetos é chamada de domínio de interpretação ou conjunto universo.
        
        Uma interpretação da expressão (∀ x) P(x) depende da coleção de objetos onde x pode tomar valores e da propriedade particular que P(x) representa no conjunto.
        
        1 more item...