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

m
:<math>\mathbf{V}\quad \forall x\left(Ax\to Bx\right)</math>
:<math>\mathbf{V}\quad \forall x\left(Bx\to Cx\right)</math>
:<math>\mathbf{F}\quad \forall x\left(Ax\to Cx\right)\quad \mathbf{ok}</math> [[Imagem:Crystal Clear gray action button ok.png]]
:<math>\mathbf{F}\quad Al\to Cl\quad \mathbf{ok}</math> [[Imagem:Crystal Clear gray action button ok.png]]
:<math>\mathbf{V}\quad Al</math>
:<math>\mathbf{F}\quad Cl</math>