fundamentos da computação 1professor.pucgoias.edu.br/sitedocente/admin/arquivos...porque estudar...
TRANSCRIPT
![Page 1: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/1.jpg)
Fundamentos da Computação 1
Aula 05
![Page 2: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/2.jpg)
Conteúdo
� Introdução à Lógica. � Definição da Sintaxe. � Traduzindo Sentenças.
![Page 3: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/3.jpg)
Introdução à Lógica
� O que é lógica?
![Page 4: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/4.jpg)
Introdução à Lógica
� O que é lógica?
� Lógica é a análise de métodos de raciocínio.
![Page 5: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/5.jpg)
Introdução à Lógica
� O que é lógica?
� Lógica é a análise de métodos de raciocínio.� É a base de todo o raciocínio matemático e
de todo raciocínio automatizado.
![Page 6: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/6.jpg)
Introdução à Lógica
� O que é lógica?
� Lógica é a análise de métodos de raciocínio.� No estudo desses métodos a Lógica está
interessada principalmente na forma e não no conteúdo dos argumentos
![Page 7: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/7.jpg)
Introdução à Lógica
� Todo homem é mortal.� Sócrates é um homem.� Portanto, Sócrates é mortal.
![Page 8: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/8.jpg)
Introdução à Lógica
� Todo homem é mortal.� Sócrates é um homem.� Portanto, Sócrates é mortal.
� Todo cão late.� Totó é um cão.� Portanto, Totó late.
![Page 9: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/9.jpg)
Introdução à Lógica
� Todo homem é mortal.� Sócrates é um homem.� Portanto, Sócrates é mortal.
� Todo X é Y.� Z é X.� Portanto, Z é Y.
Estrutura
![Page 10: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/10.jpg)
Introdução à Lógica
� Todo cão late.� Totó é um cão.� Portanto, Totó late.
� Todo X � Y.� Z � X.� Portanto, Z � Y.
![Page 11: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/11.jpg)
Introdução à Lógica
� Todo cão late.� Totó é um cão.� Portanto, Totó late.
� Todo X � Y.� Z � X.� Portanto, Z � Y.
A lógica é o estudo de tais estruturas.
![Page 12: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/12.jpg)
Introdução à Lógica
� “Lógica é essencialmente o estudo da natureza do raciocínio e as formas de incrementar sua utilização”
![Page 13: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/13.jpg)
Porque estudar lógica?
� Confere a capacidade de análise crítica dos argumentos mentais utilizados na organização das idéias e processos criativos.
� Cria a capacidade de argumentar e expor suas idéias.
� Torna o individuo mais capaz na racionalização e organização de suas idéias.
![Page 14: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/14.jpg)
Porque estudar lógica?
� Tem aplicações praticas no � desenvolvimento de máquinas de computação, � em especificação de sistemas, � em inteligência artificial, � em programação de computadores.
![Page 15: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/15.jpg)
Definição da Sintaxe
� Para construir nosso raciocínio lógico é necessário a especificação de algumas definições.
![Page 16: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/16.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 17: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/17.jpg)
Linguagem da Lógica
� Proposição é uma sentença declarativa que pode ser interpretada como verdadeira ou falsa mas não ambos.
![Page 18: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/18.jpg)
Quais sentenças são proposições?
� Qual é o seu nome?
![Page 19: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/20.jpg)
Quais sentenças são proposições?
� Qual é o seu nome?� É uma sentença interrogativa.
![Page 21: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/21.jpg)
Quais sentenças são proposições?
� Qual é o seu nome?� É uma sentença interrogativa.
� Prestem atenção!
![Page 22: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/23.jpg)
Quais sentenças são proposições?
� Qual é o seu nome?� É uma sentença interrogativa.
� Prestem atenção!� É uma sentença imperativa.
![Page 24: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.
� José é uma pessoa legal.
![Page 25: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.� É uma sentença declarativa.
![Page 27: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/27.jpg)
Quais sentenças são proposições?
� X + 1 = 2
![Page 28: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/28.jpg)
Quais sentenças são proposições?
� X + 1 = 2
![Page 29: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/29.jpg)
Quais sentenças são proposições?
� X + 1 = 2� Não é verdadeira nem falsa, não podemos
especificar.
![Page 30: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/30.jpg)
Quais sentenças são proposições?
� X + 1 = 2� Não é verdadeira nem falsa, não podemos
especificar.
� Ela é muito talentosa.
![Page 31: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.� Ela não está especificado por isso não é
verdadeiro nem falso.
![Page 33: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.
� Dez é menor do que sete.
![Page 34: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.� É uma proposição e seu valor é falso.
![Page 36: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/36.jpg)
Proposição
� Uma proposição não pode ser uma sentença ambígua.� Eu vi José com uma luneta.
José
Eu
![Page 37: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/37.jpg)
Sintaxe
� A lógica se preocupa apenas com o conteúdo.� Ana comeu o bolo.� O bolo foi comido por Ana.
![Page 38: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/38.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 39: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/39.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 40: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/40.jpg)
Sintaxe
� Proposições Compostas
� Podemos formar novas proposições combinando uma ou mais proposições, utilizando para isso operadores lógicos.
� Negação (~ , ¬)� Hoje é sexta feira. (p)� Hoje não é sexta feira (~p)
![Page 41: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/41.jpg)
Conectivos Lógicos
� Ou conectivos proposicionais� Usam duas proposições.
� Conjunção� Disjunção� Disjunção Exclusiva� Condicional� Bicondicional
![Page 42: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/42.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 43: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/43.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 44: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/44.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 45: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/45.jpg)
Condicional
� Representada por: �� Se p então q
� p é a hipótese, antecedente, premissa� q é a conclusão, conseqüência, conseqüente.
![Page 46: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.
� Uma proposição condicional é também chamada de implicação.
� É essencial no raciocínio matemático.
![Page 47: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/47.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 48: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/48.jpg)
Resumo
� Símbolos Verdade: V, F� Símbolos Proposicionais: p, q, r, ...� Conectivos Proposicionais: ~, v,�,�,�� Símbolos de Pontuação: (, )
![Page 49: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/49.jpg)
Formulas bem formuladas
� Não são formulas:� pq� (p ~�)
![Page 50: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/50.jpg)
Formulas bem formuladas
� Ordem de Precedência� Não� E� OU� Condicional� Bicondicional
![Page 51: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/51.jpg)
Traduzindo Sentenças em Português
� Negação� Não A� É falso que A� Não é verdade que A
![Page 52: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/52.jpg)
Traduzindo Sentenças em Português
� Conjunção� E� Mas� Também� Além disso
![Page 53: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/53.jpg)
Traduzindo Sentenças em Português
� Disjunção� Ou
![Page 54: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/54.jpg)
Traduzindo Sentenças em Português
� Condicional� 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 55: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/55.jpg)
Traduzindo Sentenças em Português
� Bicondicional� A se e somente se B� A é condição suficiente e necessária para B
![Page 56: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/56.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 57: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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
� Há fumaça. (p)� Há fogo. (q)
� p � q
![Page 58: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/58.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 59: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.
� Definir proposições.
![Page 60: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/60.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 61: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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).
� p �(q v ~r)
![Page 62: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/62.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 63: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/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.
� Você pode pular de para quedas. (p)� Você tem autorização de seus pais. (q)� Você tem mais de 18 anos. (r)
![Page 64: Fundamentos da Computação 1professor.pucgoias.edu.br/SiteDocente/admin/arquivos...Porque estudar lógica? Confere a capacidade de análise crítica dos argumentos mentais utilizados](https://reader030.vdocuments.pub/reader030/viewer/2022040601/5e92f8dbaae9c7652564ebfb/html5/thumbnails/64.jpg)
Traduzindo Sentenças em Português
� Exercícios:� Páginas 16 e 17� Exercícios de 1 a 11.