Predefined
| Assumptions | |
|---|---|
|
|
|
|
|
|
|
|
|
| Conclusion | |
|
|
|
| Loaded formulas | |
|---|---|
| Assumption 1 | ¬P(b) |
| Assumption 2 | ∃x(Z(x)∧P(x)) |
| Assumption 3 | ∀x(P(x)→Z(x)) |
| Conclusion | ∃x P(x) |
Conclusion follows from assumptions.