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

m
<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 \mathbf{ok}</math> [[Imagem:Crystal Clear gray action button ok.png]]
:<math>\mathbf{F}\quad \exists x\left(Cx\land Ax\right)</math>
:<math>\mathbf{V}\quad Cd\land Bd\quad \mathbf{ok}</math> [[Imagem:Crystal Clear gray action button ok.png]]
:<math>\mathbf{V}\quad Cd</math>
:<math>\mathbf{V}\quad Bd</math>