Abrir menu principal
Início
Aleatório
Entrar
Definições
Donativos
Sobre o Wikilivros
Exoneração de responsabilidade
Wikilivros
Pesquisar
Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões
Módulo
Discussão
← Edição anterior
Edição posterior →
Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC
(editar)
Revisão das 03h25min de 13 de abril de 2006
51 bytes adicionados
,
13 de abril de 2006
sem resumo de edição
Revisão das 03h16min de 13 de abril de 2006
(
editar
)
Dante Cardoso Pinto de Almeida
(
discussão
|
contribs
)
Sem resumo de edição
Revisão das 03h25min de 13 de abril de 2006
(
editar
)
(
desfazer
)
Dante Cardoso Pinto de Almeida
(
discussão
|
contribs
)
Sem resumo de edição
Edição posterior →
:<math>\neg \exists x\left(Ax\land Bx\right)\vDash \neg \exists x\left(Bx\land Ax\right)</math>
[[Categoria:Cálculo Quantificacional Clássico]]
Dante Cardoso Pinto de Almeida
Editores
7 513
edições