Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões

Saltar para a navegação Saltar para a pesquisa
sem 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]]

Menu de navegação