всякое A есть B: A < B: ~ всякое A не-есть не-B: -A > -B: ~ всякое не-B есть не-A
всякое A есть не-B: A < -B: ~ всякое A не-есть B: -A > B: ~ всякое B есть не-A
всякое не-A есть B: -A < B: ~ всякое не-A не-есть не-B: A > -B: ~ всякое не-B есть A
всякое не-A есть не-B: -A < -B: ~ всякое не-A не-есть B: A > B: ~ всякое B есть A
не-всякое A есть B: A и -B > 0: ~ есть A, которое есть не-B: ~ не-всякое A не-есть не-B
не-всякое A есть не-B: A и B > 0: ~ есть A, которое есть B: ~ не-всякое A не-есть B
не-всякое не-A есть B: -A и -B > 0: ~ есть не-A, которое есть не-B: ~ не-всякое не-A не-есть не-B
не-всякое не-A есть не-B: -A и B > 0: ~ есть не-A, которое есть B: ~ не-всякое не-A не-есть B
