Exercicios 6 Quantificadores E Predicados

________ Professor: Fernando Hadad Zaidan Quantificadores e Predicados 1-Usando símbolos predicados E(x) para “x é um estudante”, I(x) para “x é inteligente” e M(x) para “x gosta de música”, escreva fbfs que expressem as proposições a seguir. (o domínio consiste em todas as pessoas) a. Todos os estudantes são inteligentes. b. Alguns estudantes inteligentes gostam de música. c. Todo o mundo que gosta de música é um estudante burro. d. Apenas estudantes inteligentes gostam de música. 2-Usando os símbolos predicados F(x) para “x é uma fruta”, L(x) para “x é um legume” e D(x,y) para “x é mais doce do que Y”, escreva fbfs que expressem as afirmações a seguir.(o domínio é o mundo inteiro) a. Alguns legumes são mais doces do que todas as frutas. b. Todas as frutas são mais doces do que todos os legumes. c. Todas as frutas são mais doces do que alguns legumes. d. Apenas frutas são mais doces do que legumes. 3- Determine o valor lógico de cada uma das fbfs a seguir com a interpretação de que o conjunto universo consiste em todos os números inteiros, I(x) significa que “x é ímpar”, L(x) que “x < 0” e G(x) que “x > 9”. a. b. c. d. 4-Determine o valor lógico, em que o conjunto universo consiste em todos os estados do Brasil, Q(x,y) significa que “x está a norte de y”, P(x) que “x começa com a letra M” e a simboliza “Mato Grosso do Sul”. a. b. c. d. e. 5-Usando os símbolos predicados indicados e quantificadores apropriados escreva…

NATUREZA DEPARTAMENTO DE MATEMÁTICA DISCIPLINA CÓDIGO PRÉ-REQUISITO EMENTA ARGUMENTAÇÃO EM MATEMÁTICA 1103189 Não há Semiótica e Terminologia Matemáticas. Cálculo Proposicional. Quantificadores. Demonstração em Matemática. Indução CRÉDITOS 04 CARGA HORÁRIA 60 horas PERÍODO 2007.1 ---- -------------------------------------------------------------------------------------------------------------------------PROGRAMA DA DISCIPLINA 1 COMUNICAÇÃO EM MATEMÁTICA 1.1…

Introdução à Lógica Formal Quantificadores, predicados e validade Fbfs proposicionais tem uma possibilidade limitada de expressão. A expressão “Para todo x, x>0” pode ser considerada uma proposição verdadeira sobre os inteiros positivos. Porém ela não pode ser simbolizada adequadamente usando apenas letras, parênteses e conectivos lógicos. Para expressões desse tipo, é necessário o uso de quantificadores e predicados. Quantificadores são representações de expressões do tipo…

pouco, tanto, vários. Quantificador numeral: um, dois (carros), dez (flores), dobro, quíntuplo, metade de, terço de. relativo: quanto, quanta(s). interrogativo: quanto, quanta(s). Quantificador – palavra que ocorre, geralmente, antes do nome, atribuindo-lhe informações sobre a quantidade, o número ou a parte do seu referente. Quantificador universal – é a palavra que antecede o nome, especificando-o quantitativamente, na medida em que inclui ou exclui todos os elementos do…

considerado uma proposição. Um termo é uma variável, uma constante; Uma fórmula atômica é um predicado aplicado à argumentos que são termos. Por exemplo, p(x,a). Se P é um símbolo predicativo de aridade n e t1,t2,...,tn são termos, então P(t1,t2,...,tn) é uma fórmula atômica. Podemos definir as fbf (well-formed formulas) da lógica de predicados como segue: • Toda fórmula atômica é uma fbf • Se W é uma fórmula, então ¬W também é uma fórmula • Se W e V são e x é uma…

Classe de palavras Uma classe de palavras é um conjunto de palavras que pertencem à mesma categoria por partilharem características morfológicas, sintáticas e semânticas. TERMOS RELEVANTES 1. Classe aberta de palavras BREVE EXPLICAÇÃO TEÓRICA Classe de palavras constituída por um número ilimitado de palavras, dado que a evolução da língua acrescenta constantemente novos elementos. 1.1. Nome Palavra que varia em género, em número e, em alguns casos, em grau. Pode ser…

QUANTIFICADORES Alem das operações logicas já estudadas, temos ainda a considerar mais duas que se aplicam apenas a expressões com variáveis: −Quantificação Universal; −Quantificação existencial; Que corresponde na linguagem corrente as palavras Todo (A negação quantificador universal) e Algum (quantificador universal) Quantificador universal Consideremos em, IN, a condição universal X> 0. Para traduzir em linguagem corrente que esta proposição e universal ‘ escreve-se: ∀x∈:x> 0…

br/famat (p q) ¬p (q – p) Contrapositiva q 6 • Quantificadores Lógicos Existem sentenças onde o valor lógico não está bem definido e varia para cada sujeito. Assim, estas afirmações não são proposições e sim funções proposicionais. Os quantificadores servem para especificar informações sobre variáveis em funções proposições, transformando-as assim em proposições. Quantificador Universal – “para todo”; “para qualquer” O quantificador univeral traduz a idéia de abrangência de uma…

Lógica em especificação formal de sistemas Instituto de Informatica Ufrgs – Porto Alegre - RS 16 de junho de 2009 Resumo A lógica formal é usada na sistematização das afirmações que fazemos em linguagem cotidiana para apresentar fatos ou transmitir informações. Apresentaremos neste artigo a definição de um sistema formal, seus elementos e sua sintaxe. Além disso mostraremos mostraremos regras de dedução para os dois principais ramos da lógica formal, a lógica proposicional e…

Aula I - No¸co˜es de L´ogica Matem´atica B´asica Pablo Soares UFC - Crate´ us 2015.1 Sum´ario Proposi¸c˜oes Nega¸c˜ao Conectivos Tautologias Proposi¸c˜oes Logicamente Falsas Senten¸cas abertas Quantificadores Nega¸c˜ao de Proposi¸c˜oes D´ uvidas e Exerc´ıcios Proposi¸c˜ao Defini¸c˜ao Proposi¸c˜ao ´e toda senten¸ca declarativa que pode ser classificada de verdadeira ou de falsa. Proposi¸c˜ao-Exemplos S˜ao Proposi¸co˜es Elvis n˜ao morreu. N˜ao s˜ao Proposi¸co˜es…