All public logs

Combined display of all available logs of Logic Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 12:49, 6 October 2020 Jmarcos talk contribs deleted page Sintaxe da Lógica de Primeira Ordem (content was: "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * == Veja também == * Sistema dedutivo para a Lógica de Primeira Ordem * Semântica formal para a Lógica de Primeira Ordem * Sintaxe da Lógica Proposicional == Links externos == * [https://pt.wikipedia.org/wiki/Sintaxe_%28l%C3%B3gica%29 Sintaxe (lógica)]")
• 12:47, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica de primeira ordem (Created page with "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja ta...")
• 12:46, 6 October 2020 Jmarcos talk contribs created page Semântica formal para a lógica proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
• 12:45, 6 October 2020 Jmarcos talk contribs deleted page Semântica formal para a Lógica de Primeira Ordem (content was: "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja também == * Correção e completude == Links externos == *", and the only contributor was "Jmarcos" (talk))
• 21:58, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Clássica (criando verbete)
• 21:53, 5 October 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica de Primeira Ordem Intuicionista (criando verbete)
• 21:48, 5 October 2020 Jmarcos talk contribs created page Sistemas dedutivos para a Lógica de Primeira Ordem (criando verbete)
• 21:44, 5 October 2020 Jmarcos talk contribs created page Correção e completude para a Lógica de Primeira Ordem Clássica (criando verbete)
• 21:43, 5 October 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
• 12:58, 26 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem (criando página)
• 02:59, 26 September 2020 Jmarcos talk contribs created page Quantificadores (criando página)
• 20:01, 16 September 2020 Jmarcos talk contribs created page Semântica formal para a Lógica de Primeira Ordem Clássica (criando verbete)
• 13:38, 14 September 2020 Admin talk contribs blocked Kaline talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Williamaster talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Victor1237 talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Rnbruno talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Paulohq talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Marcielmanoel15 talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:37, 14 September 2020 Admin talk contribs blocked Lucchino talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Lucasdp talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Jpquirino talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Jeffersonwaa talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Jaimerson talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Igorolivei talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Gellyviana talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:36, 14 September 2020 Admin talk contribs blocked Francleidepsimao talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:35, 14 September 2020 Admin talk contribs unblocked Patrickterrematte talk contribs
• 13:35, 14 September 2020 Admin talk contribs changed block settings for Patrickterrematte talk contribs with an expiration time of 2 hours (autoblock disabled)
• 13:34, 14 September 2020 Admin talk contribs blocked Patrickterrematte talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:32, 14 September 2020 Admin talk contribs blocked Felipe vianna talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:32, 14 September 2020 Admin talk contribs blocked Eucharles talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:31, 14 September 2020 Admin talk contribs blocked Clah talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:30, 14 September 2020 Admin talk contribs blocked Atilacaetano talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:30, 14 September 2020 Admin talk contribs blocked Allangoncalves talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:30, 14 September 2020 Admin talk contribs blocked Adysonadler talk contribs with an expiration time of indefinite (account creation disabled, email disabled, cannot edit own talk page)
• 13:30, 14 September 2020 Admin talk contribs blocked Eliedsonsmg talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:30, 14 September 2020 Admin talk contribs blocked Deeh talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:29, 14 September 2020 Admin talk contribs blocked Aclunga talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page)
• 13:18, 14 September 2020 User account Clodomirneto talk contribs was created by Admin talk contribs and password was sent by email
• 20:18, 3 September 2020 Jmarcos talk contribs created page Correção e completude para a Lógica Proposicional Clássica (criando verbete)
• 01:58, 2 September 2020 Jmarcos talk contribs created page Exercícios de semântica formal para a Lógica Proposicional Clássica (esqueleto da página)
• 01:57, 2 September 2020 Jmarcos talk contribs created page Poder expressivo dos operadores clássicos (criando boneco do verbete para o futuro)
• 01:47, 2 September 2020 Jmarcos talk contribs created page Correção e completude (esqueleto do verbete)
• 20:31, 30 August 2020 Jmarcos talk contribs created page Acarretamento (Created page with "* == Para reflexão == * == Veja também == * == Links externos == *")
• 20:30, 30 August 2020 Jmarcos talk contribs created page Semântica formal para a Lógica Proposicional Clássica (Created page with "* == Para reflexão == * == Veja também == * Acarretamento (consequência semântica, entailment) == Links externos == * [https://pt.wikipedia.org/wiki/%C3%81lgeb...")
• 20:07, 30 August 2020 Jmarcos talk contribs created page Semântica formal para a Lógica Proposicional (Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==...")
• 16:22, 28 August 2020 Jmarcos talk contribs deleted page DN para Lógica Proposicional Clássica (content was: "(Abreviatura: DN = Dedução Natural) * Regras para a conjunção, a disjunção, a implicação intuicionista, o bottom, o top, e a negação intuicionista: ver DN para Lógica Proposicional Intuicionista * Regras para a negação clássica (e o bottom clássico) [VIDEO] * Efeitos das regras clássicas da negação sobre os demais conectivos [VIDEO] == Para reflexão =...", and the only contributor was "Jmarcos" (talk))
• 16:22, 28 August 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica Proposicional Clássica (criando página)
• 16:21, 28 August 2020 Jmarcos talk contribs deleted page DN para Lógica Proposicional Intuicionista (content was: "(Abreviatura: DN = Dedução Natural) * Regras para a conjunção [VIDEO] * Regras para a implicação (intuicionista) [VIDEO] * Regras para a disjunção [VIDEO] * Regras para o bottom e para o top [VIDEO] * Regras para a negação intuicionista (primitivas versus derivadas) [VIDEO] * Regras para a bi-implicação intuicionista (primitivas versus derivadas) [VIDEO] == Para...", and the only contributor was "Jmarcos" (talk))
• 16:21, 28 August 2020 Jmarcos talk contribs created page Dedução Natural para a Lógica Proposicional Intuicionista (criando página)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)