Augustus De Morgan

desvalorização dos algoritmos básicos, bem como da resolução de problemas e da geometria euclidiana. 2. HISTÓRIA DA TEORIA DOS CONJUNTOS As noções que deram origem à Teoria dos Conjuntos estão diretamente ligadas aos estudos dos matemáticos ingleses Augustus De Morgan (1806-1871) e Georg Boole (1815-1864), considerados fundadores da lógica moderna. Boole publicou em 1854 uma obra onde eram apresentados os fundamentos de uma álgebra específica para o estudo da lógica. Em seus trabalhos,…

economista italiano Wilfredo Pareto, conhecido como “ótimo de Pareto” ou “Pareto superior” , segundo o qual é eficiente qualquer alteração econômica que coloque alguém em situação mais vantajosa sem que outro fique em situação desvantajosa.18 15 MORGAN dá alguns conceitos de eficiência: a eficiência alocativa representa “(...) the allocation of economic goods to the people who value them most (...)”. ‘Productive efficiency,’ i.e., letting firms achieve the size at which the cost of…

U em que estamos trabalhando, simplesmente utilizamos a letra c posta como expoente no conjunto, para indicar o complemento deste conjunto. Muitas vezes usamos a palavra complementar no lugar de complemento. Exemplos: Øc=U e Uc=Ø. Leis de Augustus De Morgan 1. O complementar da reunião de dois conjuntos A e B é a interseção dos complementares desses conjuntos. (A B)c = Ac Bc 2. O complementar da reunião de uma coleção finita de conjuntos é a interseção dos complementares desses conjuntos.

matemática. Já no século XVIII, Leonard Euler (1707-1783) introduziu a representação gráfica das relações entre sentenças ou proposições, pesquisadas e ampliadas por John Venn (1834-1923), Edward W. Veitch em 1952 e Maurice Karnaugh em 1953. Em 1847, Augustus DeMorgan (1806-1871) publicou o tratado Formal logic. Em 1848, George Boole (1815-1864) escreveu o artigo The mathematical analysis of logic, e mais tarde, em 1854, publica um livro sobre Álgebra de Boole8, chamado An invetigation of…

e contraposição). Leis de De Morgan As equivalências vistas anteriormente permitem efetuar vários tipos de manipulações ou alterações numa fórmula sem que ela altere seu significado. Além destas fórmulas, entretanto, seria interessante que houvesse maneiras de se converter proposições conectadas pelo operador ∨ em proposições conectadas por ∧. Estas equivalências são denominadas Leis de De Morgan em homenagem ao matemático inglês do séc. XIX Augustus De Morgan, que foi o primeiro…

Ibid., 85. 23 Ibid., 88. 24 Ibid., 89. 25 André Biéler, O Pensamento Econômico e Social de Calvino (São Paulo: Casa Editora Presbiteriana, 1990), 641. 26 27 Winn, “A Tradição Reformada e a Teologia da Libertação,” 355. Augustus Nicodemus Lopes, “O Ensino de Calvino Sobre a Responsabilidade Social da Igreja” (Centro Presbiteriano de Pós-Graduação Andrew . Jumper) 28 Biéler, O Humanismo Social de Calvino, 71. Ele também diz: “Calvino elaborou…

tipos de proposições compostas. 22 1 / Os Fundamentos: Lógica e Demonstrações 1-22 TABELA 2 Leis de De TABELA 1 Exemplos de uma Tautologia e de uma Contradição. p p V F EXEMPLO 1 p F V p p V V Morgan. p p p q p F F q) q) p q Podemos construir exemplos de tautologias e contradições usando apenas uma variável proposicional. Considere a tabela-verdade de p pep p, mostrada na Tabela 1. Como p…

LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX . • PERÍODO BOOLEANO :(± 1840 a ± 1910) Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra…

citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX . Períodos da História da Lógica • PERÍODO BOOLEANO (± 1840 a ± 1910) Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra…

ciência, Thomas Hunt Morgan recebeu uma mensagem de Calvin Bridges, seu assistente de longa data, cuja libido já o havia metido em encrenca. Mais uma vez. Uma vigarista do Harlem encontrara Bridges numa viagem de trem algumas semanas antes. Logo o convenceu não apenas de que era uma princesa indiana, como também de que seu pai, um rico marajá, havia acabado de abrir – por enorme coincidência – um instituto científico no subcontinente, exatamente no campo em que Bridges (e Morgan)…