Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões
Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC (editar)
Revisão das 03h25min de 13 de abril de 2006
, 13 de abril de 2006sem resumo de edição
| [edição não verificada] | [edição não verificada] |
Sem resumo de edição |
Sem resumo de edição |
||
|
:<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]]
| |||