Aula 1 - Introducao

Prof. Valter L.
valter@ifc-videira.edu.br

February 22, 2012

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Agenda

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Introducao

Acesse o link: cti.ifc-videira.edu.br/moodlecti e faca o

cadastro no sistema.

Localize dentro do Curso de Bacharelado em Ciencia da

Computacao a disciplina de Fundamentos Matematicos da
Computacao.

No topico 1 ha um link para um artigo disponvel na Web.

Voce deve ler esse artigo, depois ler alguns dos comentarios
que os demais leitores fizerem e, depois, escrever um
comentario como se fosse publicar no site, mas na folha que o
professor lhe entregar.

Entregue a folha ao professor.

O tempo para fazer esta atividade e 30 minutos.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Definicoes

Definicoes
Inferencia ou argumento: e um encadeamento de proposicoes

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Definicoes

Definicoes
Inferencia ou argumento: e um encadeamento de proposicoes
Proposicoes: sao sentencas que podem ser verdadeiras ou
falsas.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Definicoes

Definicoes
Inferencia ou argumento: e um encadeamento de proposicoes
Proposicoes: sao sentencas que podem ser verdadeiras ou
falsas.
Premissas: sao proposic
oes que contem informacoes com o
objetivo de dar boas raz
oes para se aceitar a conclusao.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Definicoes

Definicoes
Inferencia ou argumento: e um encadeamento de proposicoes
Proposicoes: sao sentencas que podem ser verdadeiras ou
falsas.
Premissas: sao proposic
oes que contem informacoes com o
objetivo de dar boas raz
oes para se aceitar a conclusao.
Conclusao: e o produto final de uma inferencia, aquilo que se
deseja provar.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos de inferencias

Exemplo 1
Alguns est
udios cinematograficos e diretores independentes de cinema estao lancando seus filmes em DVD,
em vez de coloca-los nos cinemas. Em breve, voce sera
capaz de assitir `a estreia de um filme em sua casa, pagando uma fracao do que custaria caso voce fosse a um
cinema, comprasse ou alugasse o filme. De fato, as vendas
de ingressos nos cinemas americanos vem caindo de forma
contnua nos u
ltimos dez anos. Portanto, e de se esperar
que os cinemas irao se tornar obsoletos.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos de inferencias

Exemplo 2
A onisciencia e a onipotencia sao incompatveis entre si.
Se Deus e onisciente, ele ja tem de saber que vai intervir
para mudar o curso da hist
oria usando sua onipotencia.
Mas isso significa que ele nao pode mudar de ideia sobre
a intervencao, o que significa que ele nao e onipotente.
Richard Dawkins
Atencao! Notem que a intencao aqui nao e julgar se Deus existe
ou nao, apenas investigar a argumentacao.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Questoes:
1

As afirmacoes sao verdadeiras? Por que?

Sendo elas verdadeiras. Podemos aceitar a conclusao

apresentada? Por que?

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Conteudo de verdade e componente logico

Conte
udo de verdade: refere-se `a verdade ou falsidade efetiva
de uma proposicao e aos metodos de sua determinacao.
Componente logico: refere-se `a relacao entre as premissas e a
conclusao.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Erros de conteudo de verdade e erros de componente logico

Erro de conte
udo de verdade (EV): quando se determina que
a informacao dada e falsa.
Erro de componente l
ogico (EL): quando as premissas de uma
inferencia, mesmo se verdadeiras, permitem que a conclusao
seja logicamente falsa.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 1
1

Vicent van Gogh nasceu em alguma data durante os anos de

1800.

Marie Curie nasceu em alguma data durante os anos 1800.

Van Gogh nasceu antes de Marie Curie.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 2
1

Marie Curie nasceu em alguma data durante os anos 1800.

Nelson Mandela nasceu em alguma data durante os anos de

1900.

Marie Curie nasceu antes de Nelson Mandela.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 3
1

Marie Curie nasceu em alguma data durante os anos 1800.

Nelson Mandela nasceu em alguma data durante os anos

1900.

Nelson Mandela nasceu antes de Marie Curie.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 4
1

Venus esta mais pr

oximo do Sol do que Marte.

Marte esta mais pr

oximo do Sol do que a Terra.

Venus esta mais pr

oximo do Sol do que a Terra.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 5
1

A Terra esta mais pr

oxima do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que Marte.

A Terra esta mais pr

oxima do Sol do que Venus.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 6
1

A Terra esta mais pr

oxima do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que a Terra.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 7
1

Venus esta mais pr

oximo do Sol do que a Terra.

A Terra esta mais pr

oxima do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que Marte.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Analise dedutiva

Algumas definicoes
Analise dedutiva: e a analise de uma inferencia com o objetivo
especfico de resolver a questao l
ogica de validade ou nao
validade.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Analise dedutiva

Algumas definicoes
Analise dedutiva: e a analise de uma inferencia com o objetivo
especfico de resolver a questao l
ogica de validade ou nao
validade.
Certeza logica: e o tipo de certeza obtida por uma inferencia
valida.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Analise dedutiva

Algumas definicoes
Analise dedutiva: e a analise de uma inferencia com o objetivo
especfico de resolver a questao l
ogica de validade ou nao
validade.
Certeza logica: e o tipo de certeza obtida por uma inferencia
valida.
Inferencia valida: uma inferencia em que e impossvel a
conclusao ser falsa quando as premissas sao verdadeiras.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Analise dedutiva

Algumas definicoes
Analise dedutiva: e a analise de uma inferencia com o objetivo
especfico de resolver a questao l
ogica de validade ou nao
validade.
Certeza logica: e o tipo de certeza obtida por uma inferencia
valida.
Inferencia valida: uma inferencia em que e impossvel a
conclusao ser falsa quando as premissas sao verdadeiras.
Inferencia invalida: uma inferencia em que e possvel a
conclusao ser falsa mesmo quando as premissas sao
verdadeiras.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Em termos de uma analise dedutiva uma inferencia valida e aquela

na qual a verdade das premissas garante a verdade da conclusao.
Ou seja, temos 100% de certeza da conclusao.
Vejamos os proximos exemplos:

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 8
1

A Terra esta mais pr

oxima do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que Marte.

A Terra esta mais pr

oxima do Sol do que Venus.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exemplos

Exemplo 9
1

A Terra esta mais pr

oxima do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que Marte.

Venus esta mais pr

oximo do Sol do que a Terra.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Equvoco

Joe e mais velho que Chris.

Chris e mais velho que Dana.

Joe e mais velho que Dana.

O Joe a que a conclusao se refere e o mesmo Joe da premissa?

Quando fazemos uma inferencia, os objetos que estao presentes
nela nao podem mudar entre as proposic
oes. No exemplo, caso o
Joe nao seja o mesmo, a inferencia e invalida.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Inferencias dedutivas

Inferencia valida: uma inferencia cuja conclusao nao pode ser

falsa quando as premissas sao verdadeiras.
Inferencia invalida: uma inferencia cuja conclusao pode ser
falsa mesmo que as premissas sejam verdadeiras.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Inferencias dedutivas

Inferencia legtima: uma inferencia e legtima quando ambos

os requisitos seguintes sao satisfeitos: (1) a inferencia e
valida, tomando-se como base a analise do componente
logico, e (2) todas as premissas sao verdadeiras, tomando-se
como base a analise do conte
udo de verdade.
Inferencia ilegtima: uma inferencia e ilegtima quando uma ou
ambas as condicoes seguintes sao verdadeiras: (1)
determinou-se que a inferencia e invalida, tomando-se como
base a analise do componente l
ogico e, (2) a inferencia tem
no mnimo uma premissa falsa, tomando-se como base a
analise do conte
udo de verdade.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Inferencias indutivas

Inferencia forte: uma inferencia cujas premissas, se

verdadeiras, dao evidencia de que a conclusao tem uma
probabilidade elevada de ser verdadeira.
Inferencia moderada: uma inferencia cujas premissas, se
verdadeiras, dao evidencia de que a conclusao tem uma
chance boa de ser verdadeira. (Acima de 50%).
Inferencia fraca: uma inferencia cujas premissas, se
verdadeiras, dao muito pouca evidencia (ou nenhuma) de que
a conclusao e verdadeira.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Inferencias indutivas

Inferencia cogente: uma inferencia e cogente quando ambos

os requisitos seguites sao satisfeitos: (1) a inferencia e forte
ou moderada, tomando-se como base a analise do
componente logico, e (2) todas as premissas sao verdadeiras,
tomando-se como base a analise do conte
udo de verdade.
Inferencia nao cogente: uma inferencia nao e cogente quando
uma ou ambas as condic
oes seguintes sao verdadeiras: (1) a
inferencia e fraca, tomando-se como base a analise do
componente logico, e (2) a inferencia tem no mnimo uma
premissa falsa, tomando-se como base a analise do conte
udo
de verdade.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Atividade

Em duplas, identificar cada elemento presente nas inferencias

que lhes foram entregues.

Classificar em dedutiva ou indutiva e, conforme o caso, em

suas subcategorias.

Entregar para o professor ao final juntamente com o papel que

contem a inferencia.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Exerccios

Lista 1
Resolva a Lista 1.
Ela tambem esta disponvel no moodle.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao

Referencias
ABE, J. M; SCALZITTI, A; SILVA FILHO, J. I.da. Introduc
ao `
a
L
ogica para a Ci
encia da Computac
ao. Sao Paulo: Ed.
Villipress, 2001.
BARONET, S. L
ogica: uma introduc
ao voltada para as
ci
encias. Porto Alegre: Bookman, 2009.
GERSTING, J. L. Fundamentos Matem
aticos para a Ci
encia
a
da Computac
ao. 3 ed. Rio de Janeiro: Livros Tecnicos e
Cientficos, 1995.
JONOFON, S. Raciocnio l
ogico: l
ogico matem
atico, l
ogico
quantitativo, l
ogico num
erico, l
ogico analtico, l
ogico crtico.
8a ed. Braslia: Ed. JONOFON Ltda, 1998. vol. 1 e 2.
SOUSA, J. N. de. L
ogica para Ci
encia da Computac
ao: uma
introduc
ao concisa. 2a ed. Rio de Janeiro: Ed. Campus, 2008.

Prof. Valter L. valter@ifc-videira.edu.br

Aula 1 - Introduc
ao