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...