6
Mais lidos
14
Mais lidos
15
Mais lidos
INTRODUÇÃO À LÓGICA
Nickerson Fonseca Ferreira
nickerson.ferreira@ifrn.edu.br
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E
TECNOLOGIA DO RIO GRANDE DO NORTE
CAMPUS JOÃO CÂMARA
1
O que é Lógica ?
2
 É a ciência que estuda as leis
do raciocínio e as condições de
verdade em vários domínios de
conhecimento.
 Aristóteles foi o pioneiro da
chamada lógica formal.
 Matemáticos e filósofos eles
aprimoraram o estudo da
lógica e criaram a lógica
simbólica.
Por que estudar lógica???
3
 É a base de nossa disciplina de algoritmos.
 Adquirir uma maior capacidade de organizar e
apresentar suas ideias.
 Facilita a análise das ideias apresentadas por
outras pessoas.
Existem diferentes lógicas
4
 Existem diversos tipos de lógica, cada uma delas
apresentando suas aplicações teóricas e práticas.
 Lógica proposicional
 Lógica de primeira ordem
 Lógica de segunda ordem
 Teoria dos tipos
 Lógica modal
 Lógica descritiva
 Etc.
Lógica proposicional
5
 A lógica proposicional estende a lógica de
Aristóteles, adicionando uma linguagem simbólica.
 Esta linguagem possui símbolos para representar:
 As proposições
 Os conectivos
 Os possíveis valores lógicos
Proposições
6
 É um conjunto de palavras ou símbolos que irão
transmitir um pensamento.
 Por exemplo:
 (a) A lua é um satélite da Terra.
 (b) João Pessoa é a capital da Paraíba.
 (c) ∏ > √5
 A lógica matemática adota duas regras
fundamentais:
 I) PRINCÍPIO DA NÃO CONTRADIÇÃO
 II) PRINCÍPIO DO TERCEIRO EXCLUÍDO
Proposições
7
 As proposições podem ser de dois tipos:
 Simples (ou atômicas)
 Compostas (ou molecular)
 As proposições SIMPLES são aquelas que não
contêm nenhuma outra proposição como parte
integrante de si mesma.
 Normalmente são representadas por letras latinas
minúsculas (p, q, r, s...), chamadas letras
proposicionais.
 p: O céu é azul.
 q: Pedro é estudante.
Proposições
8
 Já as proposições compostas são aquelas formadas
pela combinação de duas ou mais proposições.
 Normalmente representadas pelas letras latinas
maiúsculas (P, Q, R, S...).
 P: João é médico e Pedro é estudante.
 Q: Carlos é estudioso ou José é bagunceiro.
 R: Se Carlos é estudioso, então é bom aluno.
 Podemos representar que uma proposição
composta P é formada por algumas proposições
simples (p, q e r). Assim:
 P(p, q, r)
Conectivos
9
 São palavras ou símbolos que são utilizados para
formar novas proposições a partir de outras.
 Utilizados em proposições compostas, com exceção
da negação.
 P: O número 6 é par e o número 8 é cubo perfeito.
 Q: O triângulo ABC é retângulo ou isósceles.
 r: Não está chovendo.
 Os conectivos podem ser:
 “e”, “ou”, “não”, “se... Então”, “... Se e somente se... “
Conectivos
10
 Não
 E
 Ou
 Se... Então
 Se e somente se
Negação (~)
Conjunção (^)
Disjunção (v)
Condicional ( )
Bicondicional ( )
Tabela-Verdade
11
 Levando em consideração o princípio do terceiro
excluído, toda proposição simples p só pode possuir
o valor lógico Verdadeiro (V) ou Falso (F).
 E uma proposição composta é formada por mais de
uma proposição simples.
 Utilizamos um dispositivo que são apresentados
todos os possíveis valores lógicos da proposição
composta correspondentes a todas as possíveis
atribuições de valores lógicos às proposições
simples componentes.
 Este dispositivo é conhecido como Tabela-Verdade.
Tabela-Verdade
12
 Vamos imaginar que possuímos duas proposições
simples: p e q.
 Quais as possibilidades que teremos para a
criação de nossa tabela-verdade ?
p q p ^ q
1 V V V
2 V F F
3 F V F
4 F F F
Notação
13
 O valor lógico de uma proposição simples pode ser
indicado por V(p).
 Se a proposição p for verdadeira:
 V(p) = V
 Se a proposição p for falsa:
 V(p) = F
Exercícios
14
(a) Fortaleza é a capital do Maranhão.
(b) -1 < -7
(c) Todo número divisível por 5 termina por 5.
(d) O número 125 é cubo perfeito.
(e) Tiradentes morreu afogado.
Exercícios
15
 Sejam as proposições
 p: Carlos fala francês,
 q: Carlos fala inglês e
 r: Carlos fala alemão.
 Traduzir para a linguagem simbólica as seguintes
proposições:
A. Carlos fala francês ou inglês e não fala alemão.
B. Carlos fala francês e inglês ou não fala francês e alemão.
C. É falso que Carlos fala francês e Carlos não fala alemão.
D. É falso que Carlos fala inglês ou alemão e que não fala
francês.
E. Se Carlos fala alemão então fala francês se e somente
se falar inglês.
Exercícios
16
 Sejam as proposições
 p: Carlos fala francês,
 q: Carlos fala inglês e
 r: Carlos fala alemão.
 Traduzir para a linguagem natural as seguintes
proposições:
A. p ^ ~r
B. r v q.
C. ~ p.

Mais conteúdo relacionado

PDF
Sequencia logica
PPTX
PPT
Resolução de equações paramétricas
PPTX
Aula introdução à lógica matemática
PPS
Polígonos regulares
PPTX
Construção da tabela verdade
Sequencia logica
Resolução de equações paramétricas
Aula introdução à lógica matemática
Polígonos regulares
Construção da tabela verdade

Mais procurados (20)

PPTX
Geometria projetiva
PPTX
Tautologias, contradições, contigências e equivalências
PPT
Polígonos..
DOCX
Resumo a lógica matemática para concursos
PPTX
Elaboração do projeto de pesquisa
PPT
Mapas Conceituais Exemplos
PDF
57701066 matematica-discreta-exercicios-resolvidos
PPTX
Slides- Progressão Geométrica
PPTX
Pensamento computacional
PPT
Principio Fundamental Da Contagem
PDF
Lógica matemática (exercícios resolvidos)
PPT
Expressão analítica de uma função quadrática
PDF
Demonstrações
PPTX
Método Hipotético Dedutivo
PPT
Plano Cartesiano
PDF
Análise de Algoritmos - Indução Finita
PDF
Popper e Indeterminismo
PDF
Apostila informática
PDF
Sequencias
Geometria projetiva
Tautologias, contradições, contigências e equivalências
Polígonos..
Resumo a lógica matemática para concursos
Elaboração do projeto de pesquisa
Mapas Conceituais Exemplos
57701066 matematica-discreta-exercicios-resolvidos
Slides- Progressão Geométrica
Pensamento computacional
Principio Fundamental Da Contagem
Lógica matemática (exercícios resolvidos)
Expressão analítica de uma função quadrática
Demonstrações
Método Hipotético Dedutivo
Plano Cartesiano
Análise de Algoritmos - Indução Finita
Popper e Indeterminismo
Apostila informática
Sequencias
Anúncio

Semelhante a Aula 01 - Introducao a logica.pdf (20)

PDF
Apostilam01 tabela verdade
PDF
PDF
Logica computacional
PDF
Ii lógica proposicional - formalização de proposições e argumentos (7)
PDF
Raciocinio logico quantitativo
PDF
Raciocinio lógico quantitativo.pdf
PDF
Raciocinio logico smf
PPT
Aula01(IntroduçãoaLógica).ppt
PDF
Inss raciocinio-garcia
PDF
1.1 - Introdução a Lógica e Proposição.pdf
PDF
Raciocinio logico
PDF
03 raciocinio logico-1
PDF
Apostila logica equivalencias-logicas
PDF
05 raciocínio lógico 2014 - agente-pf
PDF
05 raciocínio lógico 2014 - agente-pf
PDF
apostila de raciocinio-logico-matematico.pdf
PDF
Apostila mrs concursos
PDF
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
PDF
First Order Logic
Apostilam01 tabela verdade
Logica computacional
Ii lógica proposicional - formalização de proposições e argumentos (7)
Raciocinio logico quantitativo
Raciocinio lógico quantitativo.pdf
Raciocinio logico smf
Aula01(IntroduçãoaLógica).ppt
Inss raciocinio-garcia
1.1 - Introdução a Lógica e Proposição.pdf
Raciocinio logico
03 raciocinio logico-1
Apostila logica equivalencias-logicas
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf
apostila de raciocinio-logico-matematico.pdf
Apostila mrs concursos
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
First Order Logic
Anúncio

Último (20)

PPTX
São João Eudes, 1601 – 1680, padre e fondador, Francés.pptx
PPTX
Primeiros Socorros. Aula 1 VEROUVIRSENTIR.pptx
PDF
morfologia5.pdfllllllllllllllllllllllllllll
PPTX
5° LP AULAO SHOW - SPAECE - FOCO_20231029_101331_0000.pptx
PPTX
entorseestadodechoque. Aula de primeiros socorros
PPTX
Basic life Support - suporte tecnico de vida
PPTX
NR 5 Treinamento completo gestão CIPA.pptx
PDF
Sociologia Cultural, Aspecto teóricos e conceitos
PPTX
Apresentação Treinamento Percepção de Riscos-1.pptx
DOCX
Aula 3- Direitos Humanos e Prevenção à Violência .docx
PPT
Os Grandes Períodos Históricos UESC 2009.1
PDF
DECISÃO (2).pdf Derrota histórica do Sintero expõe racha interno e fragilidad...
PDF
Solucões-inovadoras-para-reduzir-desigualdades-educacionais (2).pdf
PDF
639039693-CURSO-DE-PORTUGUES-Prof-Deivid-Xavier.pdf
PDF
historia-e-geografia-do-amapa.pdf slides
PPTX
Treinamento de Espaço Confinado_Trabalhadores e Vigias NR 33.pptx
PPTX
02-simulado-saeb-9o-ano-matematica1.pptx
PDF
Fronteira escrito por José de Souza Martins
PDF
Artigo sobre o discurso do sujeito coletivo
PPTX
REVISA-GOIAS-6o-ANO-LP-3o-BIMESTRE-PPT.pptx
São João Eudes, 1601 – 1680, padre e fondador, Francés.pptx
Primeiros Socorros. Aula 1 VEROUVIRSENTIR.pptx
morfologia5.pdfllllllllllllllllllllllllllll
5° LP AULAO SHOW - SPAECE - FOCO_20231029_101331_0000.pptx
entorseestadodechoque. Aula de primeiros socorros
Basic life Support - suporte tecnico de vida
NR 5 Treinamento completo gestão CIPA.pptx
Sociologia Cultural, Aspecto teóricos e conceitos
Apresentação Treinamento Percepção de Riscos-1.pptx
Aula 3- Direitos Humanos e Prevenção à Violência .docx
Os Grandes Períodos Históricos UESC 2009.1
DECISÃO (2).pdf Derrota histórica do Sintero expõe racha interno e fragilidad...
Solucões-inovadoras-para-reduzir-desigualdades-educacionais (2).pdf
639039693-CURSO-DE-PORTUGUES-Prof-Deivid-Xavier.pdf
historia-e-geografia-do-amapa.pdf slides
Treinamento de Espaço Confinado_Trabalhadores e Vigias NR 33.pptx
02-simulado-saeb-9o-ano-matematica1.pptx
Fronteira escrito por José de Souza Martins
Artigo sobre o discurso do sujeito coletivo
REVISA-GOIAS-6o-ANO-LP-3o-BIMESTRE-PPT.pptx

Aula 01 - Introducao a logica.pdf

  • 1. INTRODUÇÃO À LÓGICA Nickerson Fonseca Ferreira nickerson.ferreira@ifrn.edu.br INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS JOÃO CÂMARA 1
  • 2. O que é Lógica ? 2  É a ciência que estuda as leis do raciocínio e as condições de verdade em vários domínios de conhecimento.  Aristóteles foi o pioneiro da chamada lógica formal.  Matemáticos e filósofos eles aprimoraram o estudo da lógica e criaram a lógica simbólica.
  • 3. Por que estudar lógica??? 3  É a base de nossa disciplina de algoritmos.  Adquirir uma maior capacidade de organizar e apresentar suas ideias.  Facilita a análise das ideias apresentadas por outras pessoas.
  • 4. Existem diferentes lógicas 4  Existem diversos tipos de lógica, cada uma delas apresentando suas aplicações teóricas e práticas.  Lógica proposicional  Lógica de primeira ordem  Lógica de segunda ordem  Teoria dos tipos  Lógica modal  Lógica descritiva  Etc.
  • 5. Lógica proposicional 5  A lógica proposicional estende a lógica de Aristóteles, adicionando uma linguagem simbólica.  Esta linguagem possui símbolos para representar:  As proposições  Os conectivos  Os possíveis valores lógicos
  • 6. Proposições 6  É um conjunto de palavras ou símbolos que irão transmitir um pensamento.  Por exemplo:  (a) A lua é um satélite da Terra.  (b) João Pessoa é a capital da Paraíba.  (c) ∏ > √5  A lógica matemática adota duas regras fundamentais:  I) PRINCÍPIO DA NÃO CONTRADIÇÃO  II) PRINCÍPIO DO TERCEIRO EXCLUÍDO
  • 7. Proposições 7  As proposições podem ser de dois tipos:  Simples (ou atômicas)  Compostas (ou molecular)  As proposições SIMPLES são aquelas que não contêm nenhuma outra proposição como parte integrante de si mesma.  Normalmente são representadas por letras latinas minúsculas (p, q, r, s...), chamadas letras proposicionais.  p: O céu é azul.  q: Pedro é estudante.
  • 8. Proposições 8  Já as proposições compostas são aquelas formadas pela combinação de duas ou mais proposições.  Normalmente representadas pelas letras latinas maiúsculas (P, Q, R, S...).  P: João é médico e Pedro é estudante.  Q: Carlos é estudioso ou José é bagunceiro.  R: Se Carlos é estudioso, então é bom aluno.  Podemos representar que uma proposição composta P é formada por algumas proposições simples (p, q e r). Assim:  P(p, q, r)
  • 9. Conectivos 9  São palavras ou símbolos que são utilizados para formar novas proposições a partir de outras.  Utilizados em proposições compostas, com exceção da negação.  P: O número 6 é par e o número 8 é cubo perfeito.  Q: O triângulo ABC é retângulo ou isósceles.  r: Não está chovendo.  Os conectivos podem ser:  “e”, “ou”, “não”, “se... Então”, “... Se e somente se... “
  • 10. Conectivos 10  Não  E  Ou  Se... Então  Se e somente se Negação (~) Conjunção (^) Disjunção (v) Condicional ( ) Bicondicional ( )
  • 11. Tabela-Verdade 11  Levando em consideração o princípio do terceiro excluído, toda proposição simples p só pode possuir o valor lógico Verdadeiro (V) ou Falso (F).  E uma proposição composta é formada por mais de uma proposição simples.  Utilizamos um dispositivo que são apresentados todos os possíveis valores lógicos da proposição composta correspondentes a todas as possíveis atribuições de valores lógicos às proposições simples componentes.  Este dispositivo é conhecido como Tabela-Verdade.
  • 12. Tabela-Verdade 12  Vamos imaginar que possuímos duas proposições simples: p e q.  Quais as possibilidades que teremos para a criação de nossa tabela-verdade ? p q p ^ q 1 V V V 2 V F F 3 F V F 4 F F F
  • 13. Notação 13  O valor lógico de uma proposição simples pode ser indicado por V(p).  Se a proposição p for verdadeira:  V(p) = V  Se a proposição p for falsa:  V(p) = F
  • 14. Exercícios 14 (a) Fortaleza é a capital do Maranhão. (b) -1 < -7 (c) Todo número divisível por 5 termina por 5. (d) O número 125 é cubo perfeito. (e) Tiradentes morreu afogado.
  • 15. Exercícios 15  Sejam as proposições  p: Carlos fala francês,  q: Carlos fala inglês e  r: Carlos fala alemão.  Traduzir para a linguagem simbólica as seguintes proposições: A. Carlos fala francês ou inglês e não fala alemão. B. Carlos fala francês e inglês ou não fala francês e alemão. C. É falso que Carlos fala francês e Carlos não fala alemão. D. É falso que Carlos fala inglês ou alemão e que não fala francês. E. Se Carlos fala alemão então fala francês se e somente se falar inglês.
  • 16. Exercícios 16  Sejam as proposições  p: Carlos fala francês,  q: Carlos fala inglês e  r: Carlos fala alemão.  Traduzir para a linguagem natural as seguintes proposições: A. p ^ ~r B. r v q. C. ~ p.