UFS › SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas São Cristóvão, 18 de Maio de 2024
Plano de ensino (03/05/2019 - 03/05/2019) - Local: AUDITÓRIO DO CCBS - 005

Apresentação do plano de ensino, cronograma de aulas, bibliografia e avaliação.
Introdução (03/05/2019 - 15/05/2019) - Local: AUDITÓRIO DO CCBS - 005

 

  • Raciocínio e inferência. 
  • Argumentos. 
  • Sentenças, proposições e enunciados.

 
Enigmas lógicos (03/05/2019 - 03/05/2019) - Local: AUDITÓRIO DO CCBS - 005
      
Inicia em 06/05/2019 às 0h 0 e finaliza em 15/05/2019 às 23h 59
XIX Encontro Brasileiro de Lógica - Local: João Pessoa, PB (08/05/2019)

https://ebl2019.ci.ufpb.br
Indicadores de premissas e conclusão (15/05/2019 - 15/05/2019) - Local: AUDITÓRIO DO CCBS - 005 | SALA DE AULA - DID 5 - 103

Indicadores de premissa: porque, pois, dado que, visto que, devido a, a razão é que, admitindo que, sabendo-se que, supondo que

Indicadores de conclusão: Logo, portanto, por isso, por conseguinte, implica que, daí que, segue-se que, pode-se inferir que, consequentemente.
Lógica e argumentos (17/05/2019 - 31/05/2019) - Local: AUDITÓRIO DO CCBS - 005 | SALA DE AULA - DID 5 - 103

Validade e forma. Validade e correção. Dedução e indução. A lógica e o processo de inferência. Um pouco de história.

      
Inicia em 29/05/2019 às 0h 0 e finaliza em 05/06/2019 às 23h 59
   Correção do Exercício de Fixação 1   
Preliminares (05/06/2019 - 07/06/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103

Linguagens. Linguagens artificiais. Uso e menção. Linguagem-objeto e metalinguagem. O uso de variáveis.

    
Conjuntos (07/06/2019 - 21/06/2019) - Local: AUDITÓRIO DO CCBS - 005 | SALA DE AULA - DID 5 - 103

Caracterização de conjuntos. Conjuntos especiais. Relações entre conjuntos. Operações sobre conjuntos. Propriedades e relações. Funções. Conjuntos infinitos.

      
Inicia em 12/06/2019 às 0h 0 e finaliza em 19/06/2019 às 23h 59
Avaliação 1 (26/06/2019 - 26/06/2019) - Local: AUDITÓRIO DO CCBS - 005 | SALA DE AULA - DID 5 - 103
Cálculo Proposicional Clássico (03/07/2019 - 14/08/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103

Lógicas. Introduzindo o CPC. Letras sentenciais e fórmulas atômicas. Operadores e fórmulas moleculares.

      
Inicia em 31/07/2019 às 0h 0 e finaliza em 03/08/2019 às 23h 59
  Exercício de Fixação 3 - respostas   
Soluções de alguns exercícios
Gramática da linguagem proposicional (CPC). (05/07/2019 - 10/07/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103

Alfabeto. Expressões. Fórmulas bem-formadas. Sinais de pontuação e árvores de formação
Interpretações proposicionais (17/07/2019 - 24/07/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103

Significado e verdade. Ideias básicas. Funções de verdade. Valorações.
Tautologia e consequência tautológica (24/07/2019 - 31/07/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103

Tabelas de verdade. Tautologias, contradições e contingências. Implicação e equivalência tautológicas.
Avaliação 2 (09/08/2019 - 09/08/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103
Dedução Natural para Lógica Proposicional (14/08/2019 - 18/09/2019) - Local: AUDITÓRIO DO CCET - 002 | SALA DE AULA - DID 5 - 103

Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica. 

  Manual de Lógica - Regras para Dedução Natural   
Autores: ALLEN, Collin & HAND, Michael.
  Verbete Dedução Natural   
Branquinho, João ; Murcho, Desidério & Gomes, Nelson Gonçalves (2006). Enciclopédia de Termos Lógico-Filosóficos. São Paulo, SP, Brasil: Martins Fontes.
   O conceito de Estratégia   

Um pouco de humor..

   Verificador automático para demonstrações em Dedução Natural (Link Externo)   

(em inglês).

Esse é o suporte online oferecido pelos autores do livro adotado nesse conteúdo. Funciona da seguinte maneira, você digita as fórmulas nos campos das premissas e conclusão e na caixa maior, digita as linhas da demosntração. Aperta o botão Check Proof e ele verifica se a demonstração está correta. 

O sistema aceita os seguintes símbolos para digitação:

 

  • a, b, c [letras minúsculas] = fórmulas atômicas
  • & = conjunção
  • ~ = negação
  • v [letra vê minúscula] = disjunção
  • -> = implicação
  • <-> = bi-implicação
  O que é lógica?   
PORTO, André (2013) O que é Lógica. In: Carvalho & Cornelli - Filosofia: Conhecimento e Linguagem. Vol IV. Cuiabá: Central de Texto, 2013
      
Inicia em 28/08/2019 às 0h 0 e finaliza em 04/09/2019 às 23h 59
Prova repositiva (09/09/2019 - 09/09/2019) - Local: Auditório do DFL
Aula Extra.

SIGAA | Superintendência de Tecnologia da Informação/UFS | Telefonista/UFS (79)3194-6600 | Copyright © 2009-2024 - UFRN v3.5.16 -r19177-2d4475f08d