Search by property
Jump to navigation
Jump to search
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Definição recursiva da linguagem proposicional + (23:43:25, 15 October 2020)
- Formalismos dedutivos + (23:49:58, 15 October 2020)
- Quantificadores + (23:56:50, 15 October 2020)
- Dedução Natural + (23:59:11, 15 October 2020)
- Dedução Natural para a Lógica de Primeira Ordem Intuicionista + (00:01:07, 16 October 2020)
- Dedução Natural para a Lógica de Primeira Ordem Clássica + (00:02:51, 16 October 2020)
- Correção e completude para a Lógica de Primeira Ordem Clássica + (05:14:45, 16 October 2020)
- Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica + (13:48:35, 17 October 2020)
- Semântica formal para a Lógica de Primeira Ordem Clássica + (18:45:52, 22 October 2020)
- Semântica formal para a Lógica Proposicional Clássica + (22:15:32, 28 October 2020)
- Dedução Natural para a Lógica Proposicional Intuicionista + (19:58:44, 1 March 2021)
- Main Page + (14:03:33, 23 July 2021)
- Introdução Computacional à Lógica Matemática + (14:05:51, 23 July 2021)
- Exercícios de Dedução Natural + (14:07:54, 23 July 2021)
