Similarity between PWS and predicate logic
It seems to me that the formulas: 1. ◊P 2. (∃x)(Fx) and: 3. □P 4. (∀x)(Fx) are quite similar, if we translate the modal propositional ones into PWS. Here is…
It seems to me that the formulas: 1. ◊P 2. (∃x)(Fx) and: 3. □P 4. (∀x)(Fx) are quite similar, if we translate the modal propositional ones into PWS. Here is…