Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
52Activity
0 of .
Results for:
No results containing your search query
P. 1
Lógica Formal 1

Lógica Formal 1

Ratings:

5.0

(1)
|Views: 3,280 |Likes:
Published by queenann

More info:

Published by: queenann on Aug 16, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/21/2013

pdf

text

original

 
 
UNIVERSIDADE
 
SALVADOR
 
 
UNIFACS
 
Curso:
 
Ciência
 
da
 
Computação
 
Disciplina:
 
Fundamentos
 
de
 
Matemática
 
para
 
Computação
 
I
 
Professor:
 
Armando
 
Peixoto
 
Aluno:
 
______________________________________________
 
Notas
 
de
 
Aulas
 
LÓGICA
 
 FORMAL
 
Salvador,
 
julho
 
de
 
2006.
 
 
 
2
Piada
 
sobre
 
Lógica
 
 
Um
 
caipira
 
encontra
 
um
 
professor
 
com
 
um
 
livro
 
debaixo
 
do
 
 braço.
 
Pergunta,
 
então:
 
 
O
 
que
 
isso,
 
moço?
 
 
É
 
um
 
livro
 
de
 
Lógica!,
 
reponde
 
o
 
professor.
 
 
Lógica?
 
Pra
 
que
 
serve
 
isso?
 
 
Lógica
 
é
 
uma
 
coisa
 
que
 
ajuda
 
a
 
gente
 
a
 
raciocinar,
 
a
 
tirar
 
conclusões.
 
Por
 
exemplo,
 
Você
 
tem
 
cachorro
 
em
 
casa?,
 
pergunta
 
o
 
professor.
 
 
Tenho,
 
sim
 
senhor.
 
 
Então,
 
quando
 
você
 
chega
 
em
 
casa,
 
ele
 
faz
 
festa.
 
 
Faz,
 
sim
 
senhor.
 
 
E
 
daí,
 
traz
 
seu
 
chinelo
 
na
 
 boca.
 
 
Traz,
 
sim
 
senhor.
 
 
Então
 
você
 
não
 
tem
 
chulé!
 
 
É
 
verdade!
 
Qui
 
maravilha,
 
sô!
 
 
Viu?
 
É
 
assim
 
que
 
funciona
 
a
 
Lógica.
 
O
 
caipira,
 
empolgado
 
com
 
o
 
que
 
aprendera,
 
compra
 
o
 
livro
 
de
 
Lógica
 
e
 
vai
 
mostrar
 
a
 
um
 
amigo:
 
 
Cumpadre,
 
veja
 
que
 
trem
 
 bão
 
é
 
a
 
Lógica!
 
 
Lógica?
 
Que
 
é
 
isso?
 
 
Deixa
 
eu
 
mostrar
 
procê:
 
Ocê
 
tem
 
cachorro
 
em
 
casa?
 
 
Não,
 
responde
 
o
 
amigo.
 
 
Então
 
ocê
 
tem
 
um
 
chulé
 
 brabo,
 
cumpadre!
 
Não
 
é
 
verdade?
 
 
 
3
ÍNDICE
 
1.
 
O
 
que
 
é 
 
uma
 
Proposição?
 
......................................................................................................
 
4
 
2.
 
Negação
 
de
 
uma
 
 proposição
 
simples
 
..................................................................................
 
5
 
3.
 
Proposições
 
compostas
 
e
 
seus
 
conectivos
 
..........................................................................
 
5
 
4.
 
Tautologias
 
ou
 
 proposições
 
logicamente
 
verdadeiras
 
...................................................
 
11
 
5.
 
Relação
 
de
 
Implicação
 
........................................................................................................
 
12
 
6.
 
Relação
 
de
 
Equivalência
 
.....................................................................................................
 
12
 
7.
 
Proposições
 
equivalentes
 
....................................................................................................
 
13
 
8.
 
Quantificadores....................................................................................................................
 
14
 
9.
 
Negação
 
de
 
 proposições
 
com
 
quantificadores
 
.................................................................
 
14
 
10.
 
 Método
 
Dedutivo
 
.................................................................................................................
 
14
 
11.
 
 Forma
 
Normal
 
das
 
Proposições
 
........................................................................................
 
15
 
12.
 
 Forma
 
Normal
 
Conjuntiva
 
(FNC)
 
.....................................................................................
 
15
 
13.
 
 Forma
 
Normal
 
Disjuntiva
 
(FND)
 
......................................................................................
 
16
 
14.
 
 Argumentos
 
...........................................................................................................................
 
16
 
15.
 
Exercícios
 
...............................................................................................................................
 
19
 
16.
 
Referências
 
Bibliográficas
 
..................................................................................................
 
24
 

Activity (52)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Erick Mizuno liked this
Erick Mizuno liked this
Erick Mizuno liked this
bsdmkx liked this
Carol Azevedo liked this
Elaine Lima liked this
Vitor Loureiro liked this
everon liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->