Recent content by joyofbitz

Hello, Given the domain as: D = {a,b}; ~Ba & Bb & Laa & ~Lab & Lba & ~Lbb Why is the interpretation false? (∀x)[Bx ⊃ (Lxx ⊃ Lxa)] I am having trouble understanding why that is the case because (Lxx ⊃ Lxa) evaluates to true in any case as long as Lxa is true in all cases, so the overall...