Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC: diferenças entre revisões
Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC (editar)
Revisão das 02h48min de 5 de janeiro de 2008
, 5 de janeiro de 2008→Exemplo 1
[edição não verificada] | [edição não verificada] |
m (→Exemplo 6) |
m (→Exemplo 1) |
||
:<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
:<math>\mathbf{F}\quad Al\to Cl\quad
:<math>\mathbf{V}\quad Al</math>
:<math>\mathbf{F}\quad Cl</math>
|