1.Previous
3.Next

for the existential quantifier () in formal proofs.

Example: "Rover loves to wag his tail. Therefore, something loves to wag its tail."

Example: "Alice made herself a cup of tea. Therefore, Alice made someone a cup of tea."

Example: "Alice made herself a cup of tea. Therefore, someone made someone a cup of tea."

In the Fitch-style calculus:

:

where is obtained from by replacing all its free occurrences of

1.Previous
3.Next