Lógica/Cálculo Proposicional Clássico/Consequência Semântica: historial de revisões

Ver registos para esta página (ver o registo de abusos)

A versão publicada foi verificada a 1 de maio de 2012. Existem 2 alterações pendentes a aguardar revisão.

Seleção de diferenças: use os botões de opção das revisões para marcar as versões que deseja comparar. Pressione 'Enter' ou clique o botão abaixo.
Legenda: (atu) = diferenças para a versão atual, (ant) = diferenças para a versão anterior, m = edição menor.

atuant 09h59min09h59min de 18 de setembro de 2019‎ Mschlindwein discussão contribs‎ m 35 442 bytes −15‎ "implicar", neste caso, é transitivo direto. desfazer [revisão pendente]

atuant 23h12min23h12min de 29 de outubro de 2016‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 35 457 bytes +185‎ Sem resumo de edição desfazer Etiqueta: Editor Visual [revisão pendente]

atuant 18h45min18h45min de 7 de março de 2011‎ He7d3r.bot discussão contribs‎ m 35 272 bytes −788‎ Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes. desfazer [verificada por Raylton P. Sousa]

atuant 12h18min12h18min de 25 de janeiro de 2011‎ He7d3r.bot discussão contribs‎ 36 060 bytes −61‎ Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB desfazer

atuant 18h58min18h58min de 6 de julho de 2010‎ Leoazul discussão contribs‎ 36 121 bytes −1‎ →‎Falácias desfazer

atuant 19h08min19h08min de 4 de novembro de 2009‎ He7d3r.bot discussão contribs‎ m 36 122 bytes 0‎ moveu Lógica: Cálculo Proposicional Clássico: Consequência Semântica para Lógica/Cálculo Proposicional Clássico/Consequência Semântica: usando a barra como separador para organizar os capítulos do livro desfazer

atuant 23h58min23h58min de 5 de maio de 2009‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 122 bytes 0‎ Lógica: Cálculo Proposicional Clássico: Implicação Semântica movido para Lógica: Cálculo Proposicional Clássico: Consequência Semântica desfazer

atuant 19h04min19h04min de 31 de outubro de 2007‎ 200.201.187.237 discussão‎ 36 122 bytes +11‎ →‎Modus ponens desfazer
atuant 19h00min19h00min de 31 de outubro de 2007‎ 200.201.187.237 discussão‎ 36 111 bytes +14‎ →‎Modus tollens desfazer

atuant 22h48min22h48min de 18 de junho de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 097 bytes −521‎ →‎Falácias desfazer
atuant 21h41min21h41min de 18 de junho de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 618 bytes +8‎ →‎Argumentando com o CPC desfazer

atuant 02h00min02h00min de 17 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 610 bytes −16‎ →‎Implicação semântica desfazer
atuant 01h59min01h59min de 17 de fevereiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 626 bytes −2‎ →‎Implicação tautológica desfazer

atuant 17h09min17h09min de 18 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 628 bytes −22‎ Sem resumo de edição desfazer
atuant 16h59min16h59min de 18 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 650 bytes 0‎ Lógica: Cálculo Proposicional Clássico: Implicação tautológica movido para Lógica: Cálculo Proposicional Clássico: Implicação Semântica desfazer

atuant 01h40min01h40min de 17 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 650 bytes +1‎ →‎Implicação tautológica desfazer
atuant 01h23min01h23min de 17 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 649 bytes +31‎ →‎Implicação tautológica desfazer

atuant 20h23min20h23min de 1 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 618 bytes +1‎ →‎Argumentando com o CPC desfazer
atuant 20h17min20h17min de 1 de janeiro de 2007‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 617 bytes +234‎ →‎Argumentando com o CPC desfazer

atuant 22h41min22h41min de 14 de dezembro de 2006‎ 89.180.5.151 discussão‎ 36 383 bytes −1‎ →‎Implicação tautológica desfazer

atuant 22h31min22h31min de 25 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 384 bytes +32‎ Sem resumo de edição desfazer

atuant 19h42min19h42min de 12 de novembro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 352 bytes −533‎ Removendo um exemplo que ficará bem melhor como exercício. desfazer

atuant 05h27min05h27min de 29 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 885 bytes +32‎ Sem resumo de edição desfazer

atuant 02h39min02h39min de 16 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 853 bytes −78‎ →‎Modus tollens combinado com as leis de Morgan desfazer
atuant 02h30min02h30min de 16 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 931 bytes +264‎ →‎Teorema da dedução desfazer
atuant 02h26min02h26min de 16 de outubro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 667 bytes +184‎ →‎Teorema da dedução desfazer

atuant 20h01min20h01min de 18 de julho de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 483 bytes 0‎ →‎Modus tollens combinado com as leis de Morgan desfazer

atuant 03h00min03h00min de 29 de junho de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ m 36 483 bytes 0‎ Revertidas edições por SallesNeto BR, para a última versão por 201.42.114.224 desfazer

atuant 14h52min14h52min de 28 de junho de 2006‎ SallesNeto BR discussão contribs‎ 36 483 bytes 0‎ Revertido vandalismo desfazer

atuant 06h35min06h35min de 8 de abril de 2006‎ 201.42.114.224 discussão‎ 36 483 bytes 0‎ →‎Comutação dos condicionais desfazer

atuant 05h58min05h58min de 26 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 483 bytes −28‎ →‎Links Externos desfazer

atuant 23h29min23h29min de 25 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 511 bytes +79‎ →‎Links Externos desfazer

atuant 04h40min04h40min de 19 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 432 bytes +197‎ →‎Falácias desfazer

atuant 05h16min05h16min de 17 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 235 bytes −336‎ →‎Teorema da dedução desfazer
atuant 05h15min05h15min de 17 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 571 bytes +977‎ →‎As tautologias desfazer

atuant 03h10min03h10min de 9 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 580 bytes −3‎ →‎Contraposição imprópria desfazer
atuant 03h08min03h08min de 9 de março de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 583 bytes −2‎ →‎Afirmação do disjunto desfazer

atuant 11h10min11h10min de 4 de fevereiro de 2006‎ LeonardoG discussão contribs‎ 36 585 bytes +23‎ Sem resumo de edição desfazer

atuant 00h38min00h38min de 29 de janeiro de 2006‎ Dante Cardoso Pinto de Almeida discussão contribs‎ 36 562 bytes +419‎ Sem resumo de edição desfazer

Obtido em "https://pt.wikibooks.org/wiki/Lógica/Cálculo_Proposicional_Clássico/Consequência_Semântica"