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
m
[edição não verificada][edição não verificada]
 
<div align="center">
:<math>\mathbf{F}\quad \forall x\exists y\left(Pxy\right)\to \exists y\left(Pay\right)\quad \mathbf{ok}</math> [[Imagem:Crystal Clear gray action button ok.png]]
:<math>\mathbf{V}\quad \forall x\exists y\left(Pxy\right)</math>
:<math>\mathbf{F}\quad \exists y\left(Pay\right)</math>

Menu de navegação