1 Acetatos Pagina PDF

Introduc
ao
`
a L
ogica Matem
atica
Margarida Dias (Dep. Matematica) 1
As expressoes da linguagem matematica
Designacao
Chama-se termo, ou designacao, a uma expressao cujo papel e designar ou
nomear alguma coisa.
Exemplos:
4
2 + 9
Lisboa
As expressoes da linguagem matematica
Proposicao
Chama-se proposicao a uma expressao da qual faz sentido dizer que e
verdadeira ou que e falsa.
Exemplos:
4 + 2 = 6
2 + 9 = 8
Lisboa e uma cidade portuguesa.
Cada proposicao tem um e um so valor logico, entre dois possveis, V
(verdadeiro) ou F(falso).
Logica e operacoes-bit:
Os computadores representam informacao por meio de bits. Um bit tem
dois valores possveis, 0 e 1. Um bit pode ser usado para representar os
valores de verdade F e V, 0 representa F e 1 representa V.
Ha assim uma relacao evidente entre a logica o sistema de funcionamento
dos computadores.
Princpios
Princpio da nao contradicao
Uma proposicao nao pode ser verdadeira e falsa ao mesmo tempo.
Princpio do terceiro excludo
Uma proposicao e verdadeira ou falsa.
Conectivos logicos
Negacao
A negacao de uma proposicao e uma nova proposicao que e falsa se a
primeira e verdadeira e e verdadeira se a primeira for falsa.
Negacao p (nao p)
Conectivos logicos
Conjuncao
A conjuncao de duas proposicoes e uma nova proposicao que e verdadeira
se as duas primeiras o forem e que e falsa, quer no caso em que as duas
primeiras sao falsas, quer no caso em que uma delas e verdadeira e a outra
e falsa.
Conjuncao p q (p e q)
Conectivos logicos
Disjuncao
A disjuncao de duas proposicoes e uma nova proposicao que e falsa no
caso em que as duas primeiras sao ambas falsas e e verdadeira, quer no
caso em que uma das primeiras e verdadeira e a outra e falsa, quer no caso
em que as duas primeiras sao ambas verdadeiras.
Disjuncao p q (p ou q)
Conectivos logicos
Implicacao
A implicacao entre duas proposicoes, uma primeira o antecedente e uma
segunda o consequente, e uma nova proposicao que e verdadeira nos casos
em
o antecedente e o consequente sao ambos verdadeiros
o antecedente e o consequente sao ambos verdadeiros
o antecedente e falso e o consequente e verdadeiro
e e falso no caso em que
o antecedente e verdadeiro e o consequente e falso
Implicacao p q (se p entao q;
p e condicao suciente para que q;
q e condicao necessaria para que p)
Conectivos logicos
Equivalencia (formal)
A equivalencia(formal) entre duas proposicoes e uma nova proposicao que
e verdadeira quer no caso em que as primeiras sao ambas verdadeiras, quer
no caso em que sao ambas falsas, e que e falsa no caso em que uma das
primeiras e falsa e a outra e verdadeira.
Equivalencia p q (p equivalente a q)
Conectivos logicos
Disjuncao exclusiva
A disjuncao exclusiva de duas proposicoes e uma nova proposicao que e
falsa quer no caso em que as primeiras sao ambas verdadeiras, quer no
caso em que sao ambas falsas, e que e verdadeira no caso em que uma das
primeiras e falsa e a outra e verdadeira.
Disjuncao p

q (ou p ou q)
exclusiva
Formulas bem formadas
As proposicoes sao representadas por formulas chamadas formulas bem
formadas que sao construdas a partir de um alfabeto constitudo por:
Smbolos de verdade: V e F.
Variaveis proposicionais: letras do alfabeto p,q,r,...a
Conectivos (operadores)
Smbolos de parenteses.
F ormula bem formada (fbf)
V e F sao fbfs. Toda a variavel proposicional e fbf.
Se A e B sao fbfs, as seguintes tambem sao:
A, A B, A B, A B, A B, (A).
Toda a fbf e formada por estas regras.
Formulas bem formadas
Convencao
As operacoes logicas sao consideradas pela seguinte ordem de prioridade:
, , , ,
Convenciona-se ainda que na presenca de uma so das quatro ultimas
operacoes, na ausencia de parenteses as operacoes sao realizadas da
esquerda para a direita.
Interpretacao de fbfs
Uma fbf diz-se uma:
tautologia
se for verdadeira para todos os possveis valores logicos.
contradicao
se for falsa para todos os possveis valores logicos
contingencia
se nao for nem tautologia nem contradicao.
Equivalencia Logica
fbfs equivalentes
Duas fbfs dizem-se (logicamente) equivalentes se tiverem o mesmo
signicado.
A B, A B(A B e uma tautologia.)
Algumas equivalencias basicas
p p V Lei do terceiro excludo
p p F Lei da contradicao
p V p
p F p Leis da identidade
p V V
p F F Leis do elemento dominante
Equivalencia Logica
Outras equivalencias
p p p; p p p Leis da idempotencia
(p) p Lei da dupla negacao
p q q p; p q q p Leis da comutatividade
(p q) r p (q r )
(p q) r p (q r ) Leis da associatividade
p (q r ) (p q) (p r )
p (q r ) (p q) (p r ) Leis da distributividade
(p q) p q
(p q) p q Leis de De Morgan
p q p q
Raciocnio matematico
O raciocnio logico,
ou raciocnio matematico e um conjunto de metodos que podemos utilizar
para assegurar a validade de certas armacoes, desde que acreditemos na
validade de outras que consideramos como conhecidas.
Argumento
Um argumento e constitudo por um conjunto de proposicoes chamadas
premissas e por uma outra proposicao chamada conclusao.
Argumentos correctos
Argumento valido
Um argumento da forma De A
1
, A
2
, ... e A
n
deduz-se B
A
1
A
2
.
.
.
A
n
B
diz-se um argumento correcto se A
1
A
2
A
n
B for uma
tautologia.
Argumentos correctos
Neste caso escreve-se
A
1
, A
2
, , A
n
|= B
Para indicar que A |= B tambem se usa A B, nomenclatura que faz
parte do dia a dia da escrita matematica.
Regras de Inferencia
Regras de inferencia
Conjunto nito de regras de deducaoque permitem deduzir uma fbf
como consequencia directa de um conjunto nito de fbfs.
Uma regra de inferencia aplica uma ou mais fbfs, chamadas premissas,
hipoteses ou antecedentes, numa so formula, chamada conclusao ou
consequente.
Algumas Regras de Inferencia
AB
A
S (Lei da Simplicacao)
A
AB
Ad (adicao)
A, B
AB
Conj (conjuncao ou combinacao)
AB, AB
B
Casos (lei dos casos)
A, AB
B
MP (modus ponens)
AB, B
A
MT (modus tollens)
AB, BC
AC
SH (silogismo hipotetico
AB, A
B
SD (silogismo disjuntivo)
Deducao
Uma deducao de uma certa conclusao - S - a partir de premissas
P
1
, P
2
, ..., P
n
e feita passo a passo.
Consiste numa sucessao de armacoes que sao premissas ou conclusoes
intermedias, e que termina, ao m de um n umero nito de passos, quando
se obtem a conclusao S.
Cada passo da deducao e correcto, em consequencia da validade das
premissas e das conclusoes intermedias anteriores.
Uma deducao de uma armacao S a partir de premissas P
1
, P
2
, ..., P
n
e
uma demonstracao passo a passo que permite vericar que S tem de ser
verdadeira em todas as circunstancias em que as premissas sejam
verdadeiras.
Deducao
Uma deducao formal tem uma apresentacao rgida.
Seja C uma conjunto de fbfs e seja P uma fbf. Diz-se que P e dedutvel a
partir de C e escreve-se
C P
se existir uma sequencia nita de fbfs P
1
, P
2
, ..., P
n
tais que
P
n
= P
P
i
, para cada i {1, 2, ..., n} e um axioma ou uma consequencia dos
P
i
s anteriores atraves da aplicacao das regras de inferencia.
Expressoes proposicionais
Expressao proposicional
Uma expressao proposicional, ou condicao, e uma expressao com variaveis
que se transforma numa proposicao quando se substituem essas variaveis
por termos convenientes.
Condicao universal
Uma condicao universal e uma expressao proposicional que se transforma
numa proposicao verdadeira, qualquer que seja o modo como substitumos
as suas variaveis por termos.
Quanticadores
Quanticador universal
O quanticador universal e um instrumento logico que transforma uma
expressao proposicional com uma variavel numa proposicao, a qual e
verdadeira se a expressao proposicional for universal e e falsa se a
expressao proposicional nao for universal, ou seja, se houver pelo menos
uma substituicao que conduza a uma proposicao falsa.
xB(x)
( para todos; para todo o x; todo o x; para qualquer x; etc.)
Quanticadores
Quanticador Existencial
O quanticador existencial e um instrumento logico que transforma uma
expressao proposicional com uma variavel numa proposicao, que e
verdadeira se houver pelo menos uma substituicao da variavel que conduza
a uma proposicao verdadeira e que e falsa caso contrario, isto +e, se
qualquer substituicao conduzir a uma proposicao falsa.
xB(x)
(existe um x; existe algum x; existe pelo menos um x; para algum x; etc.)
Quanticadores
Algumas equivalencias basicas:
(A(x)) x(A(x))
(xA(x)) x(A(x))
Regras de Inferencia para Quanticadores
Especicacao do universal:
se xF(x) e verdade, entao F(a) e verdade para qualquer a.
Generalizacao do universal:
se F(a) e verdade para qualquer a, entao xF(x) e verdade.
Especicacao do existencial:
se xF(x) e verdade, entao existe um elemento a tal que F(a) e
verdade.
Generalizacao do existencial:
se existe pelo menos um elemento a tal que F(a) e verdade, entao
xF(x) e verdade.

1 Acetatos Pagina PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

1 Acetatos Pagina PDF

Caricato da

Copyright:

Formati disponibili

Introduc

Potrebbero piacerti anche