Semantic Tableau (First-order Logic)

Definition

Semantic Tableau (First-order Logic)

Define your knowledge here…

Examples

$\exists xP(x),\forall x\left(P(x)\to \forall yR(x,y)\right)\models \forall x\exists yR(x,y)$