Venn Diagrams
Custom
Predefined
Test
Settings
Custom
Custom
Z1 - ∃x P(x)
Z2 - ∃x (¬P(x) ∧ Z(x))
Z3 - Z(b)
A - ∃x(N(x) ∧ ¬L(x))
B - ∃x(P(x) ∧ L(x))
C1 - ∀x(N(x) → R(x))
C2 - N(a)
C3 - ¬Z(b)
D1 - ∀x(N(x) → R(x))
D2 - N(a)
D3 - ¬Z(b)
E1 - ∃x(Z(x) ∧ P(x))
E2 - ∃x(Z(x) ∧ ¬P(x))
01 - ∃( P ∧ ¬S)
02 - ∃( L ∧ S)
03 - ∀(N→¬S)
04 - ∃( N ∧ ¬P)
05 - ∃ M
User friendly
Presentation
Assumptions
Conclusion
Solve