Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf ·...
Transcript of Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf ·...
![Page 1: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/1.jpg)
Fundamentos da
Computação 1 Carmen Cecilia Centeno
![Page 2: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/2.jpg)
Aula 05
Sobre o curso de Ciência da Computação - lembretes.
Plano de Ensino.
Introdução à Lógica.
Definição da Sintaxe.
Traduzindo Sentenças
Definição da Semântica.
Exercício prático para desenvolvimento do raciocínio.
![Page 3: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/3.jpg)
PROA – Programa de Orientação ao
aluno da PUC Goiás
TOPComp – Tutoria Orientada Para Computação
Projeto Calcule
Monitoria
Cursos a Distância
![Page 4: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/4.jpg)
Atividades Complementares
Cada aluno deve cumprir, até o final do curso, 120 horas de
atividades complementares. Essas horas são decorrentes da
participação em:
• congressos;
• palestras;
• workshops;
• minicursos;
• feiras;
• etc.
Ver regulamento no site do curso ou no mural da Escola
![Page 5: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/5.jpg)
De volta à
DisciplinaPlano de Ensino
![Page 6: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/6.jpg)
Comunicação
Utilizaremos e-mail
Enviar e-mail:
Assunto: aluno Fundamentos
Todo e-mail enviado será respondido, a não obtenção de
resposta significa o não recebimento do e-mail.
![Page 7: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/7.jpg)
Plano de Ensino Ementa
Objetivos Gerais
Objetivos Específicos
Conteúdo Programático
Metodologia
Avaliação
Atividade Externa à Disciplina
Bibliografia Básica
Bibliografia Complementar
Cronograma
• Disponível no SOL
![Page 8: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/8.jpg)
Avaliação
Nota Final
0.4 * N1 + 0.6 * N2
Nota 1 (0 – 10)
Prova (8.0) + Participação (1.0) + AED (1.0)
Nota 2 (0 – 10)
Prova 3 (8.0) + AI (1.0) + AED (1.0)
![Page 9: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/9.jpg)
AED 1 Objetivo: Relembrar os conteúdos estudados no ensino médio como
números inteiros, conjuntos e funções, além de, para os casos em
que se fizer necessário, propiciar ao aluno uma oportunidade de
recuperar tais conteúdos, de forma a se atingir excelência no
processo de aprendizagem dos alunos.
Descrição: Será passada uma lista de exercícios a qual o aluno
deverá entregar até dia estabelecido no cronograma. O aluno
poderá sanar dúvidas sobre os exercícios durante horário do
programa TOPComp ou pré agendar com a professora uma horário
para a recuperação do conteúdo.
Cronograma: Entrega no dia 20/03/2018.
Forma de Registro: Será feito um registro de freqüência dos alunos
que entregarem a lista de exercícios, contabilizando quatro
presenças. A lista será corrigida podendo atingir valor máximo de 1
ponto.
Critérios de Avaliação: A atividade irá integralizar a freqüência do
aluno com 4 presenças e terá valor de até 1.0 na N1.
Bibliografia: Utilizar a Bibliografia Básica e Complementar citada
no Plano.
![Page 10: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/10.jpg)
AED 2
Objetivo: Reforçar os conteúdos estudados em sala de aula, de forma
que o aluno aprenda ensinando. Propiciar ao aluno uma oportunidade
de recuperar conteúdos ensinados em sala de aula através da
metodologia de estudo em grupos.
Descrição: O aluno deverá desenvolver uma atividade interativa/jogo
para aplicar em sala de aula que ensine algum conteúdo visto sobre
lógica proposicional.
Cronograma: No dia 13/04 será sorteada a ordem de apresentação
dos grupos e a data de apresentação. Cada grupo terá 20 minutos
para apresentar aos colegas a atividade desenvolvida
Forma de Registro: Será feito um registro de frequência dos alunos
que apresentarem a atividade, contabilizando quatro presenças. A
apresentação e a atividade será avaliada segundo critérios que serão
discutidos em sala de aula, podendo atingir valor máximo de 1 ponto.
Critérios de Avaliação: A atividade irá integralizar a freqüência do
aluno com 4 presenças e terá valor de até 1.0 na N2.
Bibliografia: Utilizar a Bibliografia Básica e Complementar citada no
Plano.
![Page 11: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/11.jpg)
Avaliação Interdisciplinar
AI
Valor: 0 a 1.0
Somada na N2 de todas as disciplinas
Calendário: 10 de Maio
![Page 12: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/12.jpg)
Freqüência
Falta Reprova
Mínimo: 75%
60 presenças; 20 faltas
Cada aula conta 2 presenças
Cada AED conta 4 presenças
![Page 13: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/13.jpg)
Bibliografia Básica
• Xerox
• Capítulos: 1,2,3
![Page 15: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/15.jpg)
Cronograma
Datas Importantes:
Prova 1 – 06/04/2018
Prova 2 – 15/06/2018
Entrega AED 1 – 20/03/2018
Entrega AED 2 – 13/04/2018
Avaliação Interdisciplinar – 10/05/2018
![Page 16: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/16.jpg)
Definição da Sintaxe
Para construir nosso raciocínio lógico é necessário a
especificação de algumas definições.
![Page 17: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/17.jpg)
Definição da Sintaxe
Para construir nosso raciocínio lógico é necessário a
especificação de algumas definições.
A Linguagem da Lógica:
A lógica tem como objeto de estudo as proposições.
![Page 18: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/18.jpg)
Linguagem da Lógica
Proposição é uma sentença declarativa que pode ser
interpretada como verdadeira ou falsa mas não ambos.
![Page 19: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/19.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
![Page 20: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/20.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
![Page 21: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/21.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
![Page 22: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/22.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
Prestem atenção!
![Page 23: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/23.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
Prestem atenção!
![Page 24: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/24.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
Prestem atenção!
É uma sentença imperativa.
![Page 25: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/25.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
Prestem atenção!
É uma sentença imperativa.
José é uma pessoa legal.
![Page 26: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/26.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
Prestem atenção!
É uma sentença imperativa.
José é uma pessoa legal.
![Page 27: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/27.jpg)
Quais sentenças são
proposições?
Qual é o seu nome?
É uma sentença interrogativa.
Prestem atenção!
É uma sentença imperativa.
José é uma pessoa legal.
É uma sentença declarativa.
![Page 28: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/28.jpg)
Quais sentenças são
proposições?
X + 1 = 2
![Page 29: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/29.jpg)
Quais sentenças são
proposições?
X + 1 = 2
![Page 30: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/30.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
![Page 31: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/31.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
Ela é muito talentosa.
![Page 32: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/32.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
Ela é muito talentosa.
![Page 33: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/33.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
Ela é muito talentosa.
Ela não está especificado por isso não é verdadeiro nem
falso.
![Page 34: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/34.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
Ela é muito talentosa.
Ela não está especificado por isso não é verdadeiro nem
falso.
Dez é menor do que sete.
![Page 35: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/35.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
Ela é muito talentosa.
Ela não está especificado por isso não é verdadeiro nem
falso.
Dez é menor do que sete.
![Page 36: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/36.jpg)
Quais sentenças são
proposições?
X + 1 = 2
Não é verdadeira nem falsa, não podemos especificar.
Ela é muito talentosa.
Ela não está especificado por isso não é verdadeiro nem
falso.
Dez é menor do que sete.
É uma proposição e seu valor é falso.
![Page 37: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/37.jpg)
Proposição
Uma proposição não pode ser uma sentença ambígua.
Eu vi José com uma luneta.
José
Eu
![Page 38: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/38.jpg)
Sintaxe
A lógica se preocupa apenas com o conteúdo.
Ana comeu o bolo.
O bolo foi comido por Ana.
![Page 39: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/39.jpg)
Sintaxe
Vamos representar as proposições com variáveis
proposicionais (letras): p, q, r, s, ...
Cada variável proposicional tem um valor verdade
associado.
Verdadeiro (V) ou Falso (F)
![Page 40: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/40.jpg)
Sintaxe
Vamos representar as proposições com variáveis
proposicionais (letras): p, q, r, s, ...
Cada variável proposicional tem um valor verdade
associado.
Verdadeiro (V) ou Falso (F)
Negação (~ , ¬) Hoje é sexta feira. (p)
Hoje não é sexta feira (~p)
![Page 41: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/41.jpg)
Sintaxe
Proposições Compostas ou Formulas
Podemos formar novas proposições combinando uma ou
mais proposições, utilizando para isso operadores lógicos.
![Page 42: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/42.jpg)
Sintaxe
Proposições Compostas ou Formulas
Podemos formar novas proposições combinando uma ou
mais proposições, utilizando para isso operadores lógicos.
Conectivos proposicionais (usam duas proposições)
Conjunção
Disjunção
Disjunção Exclusiva
Condicional
Bicondicional
![Page 43: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/43.jpg)
Conjunção
Representado por: Λ
E lógico
p e q (p Λ q)
Exemplo:
O sol está brilhando, mas (e) está chovendo.
O sol está brilhando (p)
Está chovendo (q)
![Page 44: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/44.jpg)
Disjunção
Representado por: v
Ou lógico
p ou q (p v q)
Exemplo:
Hoje é sexta feira ou hoje está chovendo
Hoje é sexta feira (p)
Hoje está chovendo (q)
![Page 45: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/45.jpg)
Disjunção Exclusiva
Representada por: v
Ou mas não ambos.
Exemplo:
Mario é alagoano ou gaúcho
Mario é alagoano (p)
Mario é gaúcho (q)
p v q
![Page 46: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/46.jpg)
Condicional
Representada por:
Se p então q
p é a hipótese, antecedente, premissa
q é a conclusão, conseqüência, conseqüente.
![Page 47: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/47.jpg)
Condicional
Representada por:
Se p então q
p é a hipótese, antecedente, premissa
q é a conclusão, conseqüência, conseqüente.
Uma proposição condicional é também chamada de
implicação.
É essencial no raciocínio matemático.
![Page 48: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/48.jpg)
Bicondicional
Representado por: ↔
p se e somente se q
Vou passar em Fundamentos 1 (p)
Vou estudar e fazer os exercícios (q)
p ↔ q
![Page 49: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/49.jpg)
Resumo
Símbolos Verdade: V, F
Símbolos Proposicionais: p, q, r, ...
Conectivos Proposicionais: ~, v,Λ,,↔
Símbolos de Pontuação: (, )
![Page 50: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/50.jpg)
Formulas bem formuladas
Não são formulas:
pq
(p ~Λ)
![Page 51: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/51.jpg)
Formulas bem formuladas
Ordem de Precedência
Não
E
OU
Condicional
Bicondicional
![Page 52: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/52.jpg)
Traduzindo Sentenças em
Português
Negação
Não A
É falso que A
Não é verdade que A
![Page 53: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/53.jpg)
Traduzindo Sentenças em
Português
Conjunção
E
Mas
Também
Além disso
![Page 54: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/54.jpg)
Traduzindo Sentenças em
Português
Disjunção
Ou
![Page 55: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/55.jpg)
Traduzindo Sentenças em
Português
Condicional (A B)
Se A então B
A implica B
A logo B
A só se B
B segue se A
A é uma condição suficiente para B
Basta A para B
B é uma condição necessária para A
![Page 56: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/56.jpg)
Traduzindo Sentenças em
Português
Bicondicional
A se e somente se B
A é condição suficiente e necessária para B
![Page 57: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/57.jpg)
Traduzindo Sentenças em
Português
Se há fumaça há fogo.
O fogo é uma condição necessária para a fumaça
A fumaça é condição suficiente para haver fogo
A é uma condição suficiente para B
B é uma condição necessária para A
![Page 58: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/58.jpg)
Traduzindo Sentenças em
Português
Se há fumaça há fogo.
O fogo é uma condição necessária para a fumaça
Há fumaça. (p)
Há fogo. (q)
p q
![Page 59: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/59.jpg)
Traduzindo Sentenças em
Português
Você pode acessar a Internet deste campus se somente
se você é um expert em Ciência da Computação ou não
é um novato.
Achar os conectivos proposicionais
![Page 60: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/60.jpg)
Traduzindo Sentenças em
Português
Você pode acessar a Internet deste campus se somente
se você é um expert em Ciência da Computação ou não
é um novato.
Definir proposições.
![Page 61: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/61.jpg)
Traduzindo Sentenças em
Português
Você pode acessar a Internet deste campus (p) se
somente se você é um expert em Ciência da
Computação (q) ou não é um novato (r).
Você pode acessar a Internet deste campus (p)
Você é um expert em Ciência da Computação (q)
Você é um novato (r).
![Page 62: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/62.jpg)
Traduzindo Sentenças em
Português Você pode acessar a Internet deste campus (p) se somente se você é um
expert em Ciência da Computação (q) ou não é um novato (r).
Você pode acessar a Internet deste campus (p)
Você é um expert em Ciência da Computação (q)
Você é um novato (r).
p ↔(q v ~r)
![Page 63: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/63.jpg)
Traduzindo Sentenças em
Português
Você pode pular de para quedas se você tem
autorização de seus pais ou se tem mais de 18 anos.
![Page 64: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/64.jpg)
Traduzindo Sentenças em
Português
Você pode pular de para quedas se você tem
autorização de seus pais ou se tem mais de 18 anos.
Você pode pular de para quedas. (p)
Você tem autorização de seus pais. (q)
Você tem mais de 18 anos. (r)
![Page 65: Fundamentos da Computação 1professor.pucgoias.edu.br/.../17389/material/F01_05.pdf · 2018-02-18 · Todo e-mail enviado será respondido, a não obtenção de resposta significa](https://reader031.fdocumentos.tips/reader031/viewer/2022022110/5c1eec7909d3f288678b897d/html5/thumbnails/65.jpg)
Exercícios - Rosen
Página 16 e 17
Exercícios: 1,2,3,4, 7, 9, 10, 11