543
edições
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 20h31min de 10 de junho de 2009
, 10 de junho de 2009correção de afluentes (usando AWB)
m (→Exemplo 2) |
m (correção de afluentes (usando AWB)) |
||
|
:<math>\neg \exists x\left(Ax\land Bx\right)\vDash \neg \exists x\left(Bx\land Ax\right)</math>
{{Esboço/Matemática}}
[[Categoria:Cálculo Quantificacional Clássico|Tablôs semânticos no CQC]]
| |||