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
Linha 235:
<div align="center">
:<math>\mathbf{V}\quad \forall x\left(Bx\to Ax\right)</math>
:<math>\mathbf{V}\quad \exists x\left(Cx\land Bx\right)\quad
:<math>\mathbf{F}\quad \exists x\left(Cx\land Ax\right)</math>
:<math>\mathbf{V}\quad Cd\land Bd\quad
:<math>\mathbf{V}\quad Cd</math>
:<math>\mathbf{V}\quad Bd</math>
| |||