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

m
 
 
:Repare que não marcamos <math>\forall x\left(Gx\right)</math> com um “OK”[[Imagem:Crystal Clear gray action button ok.png]] como fazíamos com outras fórmulas usadas. Afinal, ainda há infinitas outras fórmulas além de <math>Ge\,\!</math> que podem ser extraídas da verdade de :<math>\forall x\left(Gx\right)</math>.
 
=====Exemplo 2=====