SIMBULO DOS GRUPOS NUMERICOS, Notas de aula de Matemática

Baixe SIMBULO DOS GRUPOS NUMERICOS e outras Notas de aula em PDF para Matemática, somente na Docsity!

é equivalente lógica proposicional & B significa: À é equivalente a 3. +5 +) & x+3 e lógica proposicional a proposição 4 A B so é verdadeira ambos forem verdadeiros. emplo:2=4 A1=] é falso ou lógica proposicional a proposição 4 V B só é falsa se ambos forem falsos. emplo:2=4 V]=] é verdadeiro não lógica proposicional a proposição —A é verdadeira se e só se 4 for falso 'ma barra colocada sobre outro operador tem o mesmo significado que "—" colocado à sua frente cemplo: (4 AB) &(A)V(BIXES & x ES) para todos; para qualquer: para cada lógica predicativa x: P(x) significa: P(x) é verdadeiro para todos os x cemplo: W n E Ninê=n existe lógica predicativa 3 x: P(9) significa: existe pelo menos um x tal que (x) é verdadeiro cemplo:3n E N:n+5=2n iguala todas » significa: x e y são nomes diferentes para a exacta mesma coisa cemplo:1+2=6-3 É definido como todas =y significa: x é definido como outro nome para y + Q significa: P é difinido como logicamente equivalente a O cemplo: cosh x = (1/2Xexp x + exp (1); 4 XOR B:S (AV BJ AAA B) o conjunto de... teoria de conjuntos (a.b.e) significa: o conjunto que consiste de a, d, e c cemplo: N= (0,12...) o conjunto de ... tal que teoria de conjuntos fx: PG) significa: o conjunto de todos os x, para os quais P(x) é verdadeiro. x | P(x)) é o mesmo que (x : P(9)) cemplo: (x E N:vº <20) = (0,1,2,3.4) conjunto vazio teoria de conjuntos () signífica: o conjunto sem elementos; O é a mesma coisa cemplo: (nEN:1