Cartesiano De Venn

Eqüivalências e Inferências Básicas. 4. Simplificação da Conclusão. 5. Validade e Invalidade. 24 27 29 31 36 CÁLCULO DE PREDICADOS 1. Predicados e Variáveis. 2. Operações Lógicas. 3. Quantificadores. 4. Silogismos Categóricos. 5. Diagramas de Venn. 40 42 44 50 53 DEDUÇÃO NO CÁLCULO DE PREDICADOS 1. Eliminação e Inserção de Quantificadores. 2. Eqüivalências e Inferências. 3. Dedução. 4. Invalidade. 5. Subargumentos. 57 63 69 72 74 Bibliografia…

................................................................................................ 32 4.5. Número de elementos de um conjunto......................................................................................... 35 4.6. Produto Cartesiano ....................................................................................................................... 36 4.7. Conjunto das partes de um conjunto A................................................................................

para indicar os elementos de um conjunto. • Conjunto das vogais A = {a, e, i, o, u} • Conjunto dos algarismos arábicos B = {0,1, 2, 3, , 9} A 1 T 1 Também podemos representar em diagrama de Venn (figura abaixo). Figura 1 – Exemplos de conjuntos representados pelo diagrama de Venn Ou através de uma propriedade P, que descreve os seus elementos, isto é, A é o conjunto de elementos x de tal forma que x tem a propriedade P. E denotaremos por A = {x|x tem a…

Portanto, será sobre estes dois conjuntos que o conceito de conjunção deverá ser definido. Antes de usar uma linguagem mais formal sobre conjuntos vamos analisar a situação da conjunção de duas sentenças em termos de diagramas gráficos (os Diagramas de Venn) 28 Copyright  2002-09 João Carlos Gluz UNISINOS - Lógica Capítulo 4 - Quantificadores que conseguem expressar os conceitos da teoria dos conjuntos de uma forma muito mais intuitiva. Inicialmente, vamos supor as duas sentenças…

(A ∩ B) = (A – B) ∪ (B – A) Às vezes, é conveniente ilustrar relações através de diagramas de Venn1. Os diagramas de Venn são largamente utilizados nos estudos da teoria dos conjuntos. Eles utilizam figuras geométricas para representar as estruturas da teoria dos conjuntos. A figura abaixo apresenta a representação de algumas relações através dos diagramas. 1 John Venn, Matemático inglês (1834-1923) Álgebra Aplicada à Computação - Prof. Carlos Alexandre Mello A∪B A∩B A–B

. . . . . . . . . . . . . . . . . . . . . . 124 Axioma das potências. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126 3.1.10 Conjunto: Potência. Disjunto. . . . . . . . . . . . . . . . . . . . . . . . . . 127 3.1.11 Diagramas: De Venn-Euler. Linear. . . . . . . . . . . . . . . . . . . . . . . 128 3.1.12 Complemento de um conjunto. . . . . . . . . . . . . . . . . . . . . . . . . 129 Exercícios 3-1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 3

1.5 O paradoxo do mentiroso . . . . . . 1.6 Um passeio pelas diferentes l´ogicas 2 L´ ogica proposicional 2.1 A linguagem da l´ogica proposicional 2.2 Valora¸ca˜o . . . . . . . . . . . . . . 2.3 Tabela-verdade . . . . . . . . . . . 2.4 Diagramas de Venn-Euler . . . . . 2.5 Rec´ıproca e contrapositiva . . . . . 2.6 Fal´acias e silogismos formais . . . . 2.7 Leis de Morgan . . . . . . . . . . . 2.8 Redefinindo conectivos . . . . . . . 2.9 Forma disjuntiva normal . . . . . . Exerc´ıcios . . . . . .

não somente o Refridamoçada. d) apenas 200 consumiam os dois. e) apenas 100 nenhum dos dois. OBJETIVO U N E S P - ( P ro v a d e C i ê n c i a s B i o l ó g i c a s ) - J u l h o /2 0 0 3 Com estas alterações, temos o seguinte diagrama de Venn: Se um dos entrevistados foi escolhido ao acaso, então a probabilidade de que ele seja consumidor de: 200 a) Refridagalera e Refridamoçada é ––––– = 20%. 1000 900 b) Refridagalera ou Refridamoçada é ––––– = 90%. 1000 24…

23 3 17 e 18 16 Fev/13 Aula 15 e 16 123 Jan/13 Data 9 26 e 28 28 30 04 29 e 30 31 e 32 33 e 34 Conteúdo Conjunto. Descrevendo Conjuntos. Conjuntos Numéricos. Diagramas de Venn. Subconjuntos. Cardinalidade. Conjunto Potência. Produto Cartesiano. Quantificadores e Conjunto Verdade. Operações sobre Conjuntos: União, Intersecção, Diferença e Complemento. Identidade de Conjuntos. Funções. Domínio, Contradomínio e Imagem. Funções Injetoras e…

função ................................................................................ 52 4. Representação gráfica de uma função ................................................................................... 53 5. Marcando os pontos no plano cartesiano ............................................................................... 54 6. Gráficos de uma função ............................................................................................................. 54 1.…