Index of All Documents
Filter by Tag:proposicional primeira-ordem predicativa arvores deducao-natural lógica proposicional valorações propriedades semânticas conceitos semânticos tabelas de verdade valorações validade invalidade formalização revisão formalização satisfação conjunta invalidez validez aritmetica sintaxe operador principal concursos descrições definidas quantificação numérica tautologias contradições contingências equivalências quantificação equivalência validez contra-exemplos modelos primeira ordem contraexemplos
Publicly Shared
- Title
- exercicios-recapitulacao.md
- Description
- Recapitulação do conteúdo de lógica proposicional. Preparação para a lógica de predicados.
- Creator
- Hermógenes Oliveira
- Created on
- 2021-07-18 20:26 UTC
- Tags
- proposicional
- Title
- exercicios-predicacao.md
- Description
- Exercícios de formalização de proposições na sintaxe da lógica de predicados.
- Creator
- Hermógenes Oliveira
- Created on
- 2021-07-18 20:40 UTC
- Tags
- primeira-ordem predicativa
- Title
- exercicios-deducao-natural.md
- Description
- Exercícios de dedução natural para o cálculo proposicional
- Creator
- Hermógenes Oliveira
- Created on
- 2021-09-27 17:24 UTC
- Tags
- arvores deducao-natural proposicional
- Title
- exercicios-deducao-natural-2.md
- Description
- Exercícios de dedução natural no cálculo proposicional - Parte II
- Creator
- Hermógenes Oliveira
- Created on
- 2021-10-08 14:13 UTC
- Tags
- arvores deducao-natural proposicional
- Title
- Valoracoes.md
- Creator
- Diego Fernandes
- Created on
- 2021-11-09 00:19 UTC
- Tags
- lógica proposicional valorações
- Title
- Tabelas de verdade e conceitos semanticos - 1.md
- Creator
- Diego Fernandes
- Created on
- 2021-07-08 23:39 UTC
- Tags
- lógica proposicional propriedades semânticas
- Title
- Tabelas de verdade e conceitos semanticos - exercicios de revisao.md
- Creator
- Diego Fernandes
- Created on
- 2021-11-17 15:50 UTC
- Tags
- lógica proposicional conceitos semânticos tabelas de verdade
- Title
- Tabelas de verdade.md
- Creator
- Diego Fernandes
- Created on
- 2021-11-16 20:52 UTC
- Tags
- lógica proposicional tabelas de verdade
- Title
- Valoracoes e tabelas de verdade- simplificado.md
- Creator
- Diego Fernandes
- Created on
- 2021-11-08 21:47 UTC
- Tags
- lógica proposicional valorações
- Title
- Tabelas de verdade e conceitos semanticos - exercicios de revisao-bis.md
- Creator
- Diego Fernandes
- Created on
- 2022-06-08 19:08 UTC
- Tags
- lógica proposicional tabelas de verdade validade invalidade formalização conceitos semânticos revisão
- Title
- exercicios-deducao-natural-3.md
- Description
- Exercícios básicos de dedução natural na lógica de predicados. Formas categóricas.
- Creator
- Hermógenes Oliveira
- Created on
- 2022-07-12 21:12 UTC
- Tags
- arvores deducao-natural primeira-ordem predicativa
- Title
- Lógica proposicional - Linguagem - Formalização.md
- Creator
- Diego Fernandes
- Created on
- 2021-10-25 19:47 UTC
- Tags
- lógica proposicional formalização
- Title
- exercicios-logica-proposicional.md
- Description
- Exercícios de formalização em linguagem proposicional.
- Creator
- Daniel Soares
- Created on
- 2023-10-20 04:41 UTC
- Tags
- proposicional
- Title
- Tabelas de verdade e conceitos semanticos - 3.md
- Creator
- Diego Fernandes
- Created on
- 2021-11-19 18:30 UTC
- Tags
- lógica proposicional satisfação conjunta invalidez
- Title
- Tabelas de verdade e conceitos semanticos - 2.md
- Creator
- Diego Fernandes
- Created on
- 2021-11-19 18:29 UTC
- Tags
- lógica proposicional satisfação conjunta validez
- Title
- exercicios-deducao-natural-4.md
- Description
- Exercícios de dedução natural na lógica de predicados e aritmética formal
- Creator
- Hermógenes Oliveira
- Created on
- 2022-09-20 18:39 UTC
- Tags
- arvores deducao-natural primeira-ordem predicativa aritmetica
- Title
- Lógica Proposicional - Linguagem- Sintaxe.md
- Creator
- Diego Fernandes
- Created on
- 2021-10-25 18:00 UTC
- Tags
- lógica proposicional sintaxe operador principal
- Title
- Lógica Proposicional- Questoes Extras- Concursos.md
- Creator
- Diego Fernandes
- Created on
- 2022-12-06 15:49 UTC
- Tags
- lógica proposicional concursos
- Title
- LII-Questionário preparatório para a terceira avaliação.md
- Creator
- Diego Fernandes
- Created on
- 2023-05-25 17:53 UTC
- Tags
- primeira-ordem descrições definidas quantificação numérica
- Title
- LF-Tautologias-contingencias-contradicoes-equivalencias.md
- Creator
- Diego Fernandes
- Created on
- 2022-11-22 15:46 UTC
- Tags
- tabelas de verdade tautologias contradições contingências equivalências
- Title
- Lógica de Primeira Ordem-Exercícios de formalização -2.md
- Creator
- Diego Fernandes
- Created on
- 2023-03-16 20:22 UTC
- Tags
- primeira-ordem quantificação formalização
- Title
- LF- Questionário preparatório para a terceira avaliação.md
- Creator
- Diego Fernandes
- Created on
- 2023-05-30 13:35 UTC
- Tags
- lógica proposicional formalização tabelas de verdade equivalência validez contra-exemplos
- Title
- Lógica de Primeira Ordem - Modelos e contra-exemplos.md
- Creator
- Diego Fernandes
- Created on
- 2022-11-12 20:45 UTC
- Tags
- primeira-ordem modelos contra-exemplos
- Title
- Lógica de Primeira Ordem-Exercícios de formalização -3.md
- Creator
- Diego Fernandes
- Created on
- 2023-03-31 21:29 UTC
- Tags
- primeira ordem quantificação formalização
- Title
- LII-Questionário preparatório para a segunda avaliação.md
- Creator
- Diego Fernandes
- Created on
- 2023-04-22 15:16 UTC
- Tags
- primeira ordem formalização modelos contraexemplos
- Title
- Lógica de Primeira Ordem-Exercícios de formalização -4-Identidade.tex
- Creator
- Diego Fernandes
- Created on
- 2023-04-20 21:09 UTC
- Tags
- primeira ordem quantificação numérica formalização
- Title
- Lógica-Proposicional-Questões-de-concurso.md
- Description
- Lógica Proposicional - Questões de concurso Arquivologia/Biblioteconomia
- Creator
- Diego Fernandes
- Created on
- 2023-10-12 19:39 UTC
- Tags
- lógica proposicional concursos