Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Disjunction (First-Order Tableaux)

1 min read

first-order-logic tableaux

Definition

Definition

Disjunction (Propositional Tableaux)

Link to original

Backlinks