324 Logic as a Tool The argument is logically valid: ∃x(B(x) ∧ ∀y(W (y) ∧ K(x, y) → L(x, y))) : T , ∀x(B(x) → M (x)) : T W (Eve) ∧ ∀x(M (x) → K(x, Eve)) : T , ∃x(B(x) ∧ ∃y(W (y) ∧ L(x, y))) : F B(c) ∧ ∀y(W (y) ∧ K(c, y) → L(c, y)) : T B(c) : T , ∀y(W (y) ∧ K(c, y) → L(c, y)) : T W (Eve) : T , ∀x(M (x) → K(x, Eve)) : T B(c) ∧ ∃y(W (y) ∧ L(c, y)) : F B(c) : F × ∃y(W (y) ∧ L(c, y)) : F W (Eve) ∧ L(c, Eve) : F W (Eve)) : F × L(c, Eve) : F W (Eve) ∧ K(c, Eve) → L(c, Eve) : T W (Eve) ∧ K(c, Eve) : F W (Eve) : F × L(c, Eve) : T × K(c, Eve) : F M (c) → K(c, Eve) : T M (c) : F K(c, Eve) : T × B(c) → M (c) : T B(c) : F × M (c) : T ×