fundamentos da computação 1professor.pucgoias.edu.br/.../17389/material/f01_05.pdf ·...

65
Fundamentos da Computação 1 Carmen Cecilia Centeno

Upload: buicong

Post on 23-Dec-2018

217 views

Category:

Documents


0 download

TRANSCRIPT

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

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

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

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

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

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

Comunicação

Utilizaremos e-mail

Enviar e-mail:

[email protected]

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

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

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

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

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

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

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

Bibliografia Básica

• Xerox

• Capítulos: 1,2,3

Page 14: 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

Lembretes

Toda aula haverá chamada

[email protected]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Exercícios - Rosen

Página 16 e 17

Exercícios: 1,2,3,4, 7, 9, 10, 11