Apresentação do Plano de Ensino, Cronograma, Avaliação e Bibliografia

   Plano de Ensino (Link Externo)   

   Revisão do CPC   

Argumentos. Validade. Linguagem da Lógica proposicional. Conectivos. Tabelas de verdade.

      

Inicia em 17/10/2019 às 0h 0 e finaliza em 24/10/2019 às 23h 59

Alfabeto. Sintaxe. Semântica. Quantificadores. Definição de Validade. Método de prova: tablôs.

      

Inicia em 29/10/2019 às 22h 0 e finaliza em 31/10/2019 às 23h 59

  Correção do Exercício de Fixação 1   

      

Inicia em 28/11/2019 às 0h 0 e finaliza em 25/02/2020 às 23h 59

O valor semântico das expressões. Estruturas. Verdade. Definição de verdade.

  Respostas aos exercícios do Cap. 10   

Validade. Consequência lógica (semântica). Algumas propriedades de ⊨. A validade dos argumentos.

  Respostas aos exercícios do Cap. 11   

      

Inicia em 18/02/2020 às 0h 0 e finaliza em 27/02/2020 às 23h 59

Procedimentos de prova. Exemplos de tablôs. Regras para fórmulas moleculares. Consequência lógica. Quantificadores. Invalidade. Indecibilidade do CQC.

      

Inicia em 10/03/2020 às 0h 0 e finaliza em 20/03/2020 às 21h 59

   Lista de símbolos lógicos (Link Externo)   

¬∧∨→↔∀∃⊨⊭ 

   Introduçao ao LaTeX (Link Externo)   

   Gerador de Demonstração usando Tablôs (Link Externo)   

Basta digitar a fórmula, ou conjunto de fórmulas no caso de argumentos, para testar a validade da fórmula ou dos argumentos.

Use esses dois conjuntos de fórmulas como exemplo:

∀x(Rx → Ax), ∀x(Lx → Bx) |= ∃xAx ∧ ∃xBx (item b do exercício 4)

∀x(Rx ∧ Ax), ∀x(Lx ∧ Bx) |= ∃xAx ∧ ∃xBx

Pessoal,

Fizemos a nossa videoconferência esta noite. Fiz essa foto para guardar em recordação. Foi uma experiência para também testar os recursos do aplicativo Zoom que poderá ser útil para realização de atividades acadêmicas não presenciais enquanto durar o período da quarentena.

Ainda não sei dizer como serão as atividades no semestre letivo 2020.1 que está previsto para iniciar em 27 de Abril. Provavelmente, ainda estaremos em isolamento social até lá. Vamos aguardar orientações da Administração Superior da UFS.

Enquanto isso, estou planejando em realizar atividades virtuais de extensão, por exemplo, dando continuidade as reuniões do Grupo de Estudos em Lógica e Metafísica, como uma maneira de mantermos uma rotina de estudo e trabalho. Vou incentivar os colegas professores a fazerem isso também.

Saúde e boa quarentea para todos!

Atenciosamente,
Prof. Renato

   Videoconferência de conclusão da disciplina