Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição |
|||
Linha 265:
:<math>\neg \exists x\left(Ax\land Bx\right)\vDash \neg \exists x\left(Bx\land Ax\right)</math>
{{stubmatematica}}
[[Categoria:Cálculo Quantificacional Clássico|Tablôs semânticos no CQC]]
|