Escolar Documentos
Profissional Documentos
Cultura Documentos
A nocao de conjunto e tao geral que não nos permite dar uma definição porem muitas
veses concidera se um conjunto definido quando se conhece uma característica que
permita sempre a respeito de qualquer individuo c, saber se c e ou não um elemento do
conjunto.
Notação de conjunto
a∈ A e le-se a pertence a A.
Um conjunto A diz se que esta contido num conjunto B, ou seja que o conjunto a e
subconjunto do conjunto B quando to o ele,mento de A e também elemento de B. assim
tem se por definição:
A ⊂ B se e so se x ∈ A ⇒ x ∈ B .
Reunião “∪”
R=A∪B={ x : x ∈ A ∨ x ∈ B }.
intersecção “∩”
I= A∩B={ x : x ∈ A ∧ x ∈ B }.
complementar “C ”
C A={ x : x ∉ A ∧ x ∈U }.
diferença “– ou \”
B\A={ x : x ∉ A ∧ x ∈ B }.
Breve historial da logica
Na idade Media (Séc. XIII a XV) onde se realizaram grandes progressões na logica de
Aristóteles. Ela torna-se mais sistemática e mais progressiva, tida como ciência de todas
as ciências, esta tinha por competência validar os actos da razão humana na procura da
Verdade, através de um pensamento dedutivo.
O filosofo Gottfried Wilhelm Leibniz, foi quem procurou aplicar à logica. No seu
projecto, o raciocínio torna-se susceptível de ser efetuado por máquina organizada para
o efeito
No seculo XIX, George Boole (1815-1864) cria a Logica Matemática, sendo tratada
como um cálculo de signos algébricos. Esta Álgebra Booleana tornou-se a base para:
i) A afirmação de que existia uma infinidade de raciocínios validos e uma
infinidade de raciocínios não validos.
ii) A teoria de conjuntos.
iii) O desenho dos circuitos nos computadores eletrónicos modernos.
Por último, ao longo do Séc. XX, assistiu-se a uma diversificação dos estudos da Logica
Matemática e a mesma atinge um elevado grau de formalização, passando a possuir um
sistema completo de símbolos e regras para a obtenção de conclusões validas.
Nocao de logica
A logica e uma ciência índole matemática, fortemente ligada a filosofia. Ela cuida das
regras do bem pensar ou pensar correte, sendo, portanto, instrumento do pensar.
Termo e Proposição
Proposição são expressões a respeito da qual sentido dizer que e verdade ou falso.
Quantificadores
Universal
Existencial
Quantificador universal ( ∀ )
∀ x ∈ R , ( x−1)2 ¿ x 2−2 x
4
∃ x ∈ R : x +3=0
[ ∀ x , p(x )] ⟺ ∃ x ,∼ p (x)
∼ [ ∃ x , p ( x ) ] ⟺ ∀ x , p (x)
Álgebra
Transformações idênticas
Expressões Algébricas
Extem dois tipos expresses algébricas racional e irracional, em que elas subdividem-se
em:
Domínio de existência
O domínio de existência são todos os valores que não anulam o denominador, ou seja
que não anula toda a expressão algébrica.
+ …+an qm quen ∈ N e a0 , a1 , … , an ∈ R .
n n−1
P ( x )=a 0 x +a1 x