Search results for first-order-logic

0 votes
1 answer
41
Can anyone explain this how this implication is valid with an example∃x (Px ⊕ Qx) < ∃xPx ⊕ ∃xQx
1 votes
1 answer
44