# Questions tagged [predicate-logic]

The tag has no usage guidance.

20 questions
Filter by
Sorted by
Tagged with
142 views

### What are the advantages of Aristotle's term logic over predicate logic?

I have read Wikipedia's term logic entry, and the quote by Gareth Evans in the Revival section that's supposed to argue for term logic's advantages over predicate logic: "I come to semantic ...
55 views

### What are some of the struggles that come with teaching formal logic? [closed]

I'm currently an undergraduate student who wants to do research on the pedagogy of formal logic. As a result, I wanted to know what are some challenges that instructors (or even students for that ...
1k views

### How do you differentiate between At least one X and Exactly one X in predicate logic?

Here are the following two sentences. At least one person speaks English. ∃𝑥E(x) Exactly one person speaks English. Instead of ∃𝑥E(x), what do I write?
55 views

### What is the difference between p ∧ (p → q) and p → q?

I understand why with a truth table p ∧ (p → q) and p → q are different but from a semantic point they look exactly the same to me. At a glance from a semantics point they look like they should have ...
34 views

### Can you universally specify using a proper name that is already present in the premise?

i was working on one of the problems in Patrick Suppes' An Introduction to logic, and it asks to show whether "Ptah is an egyptian god. Ptah is the father of all egytpian gods. Therefore Ptah is the ...
175 views

### Is ¬(a = b) the same as (a ≠ b) in logic

Are these the same in predicate logic with identity: ¬ (a = b) a ≠ b I'm not quite sure whether they can be used interchangeably in proofs. Any help would be great!
30 views

### How does identity work in modal predicate logic?

Namely how can we can have a correspondence between objects in different possible worlds if they are different? If we have two worlds in S5 aw0(P(x)) = 1 and aw1(P(x)) = 0 How can we 'identify' x ...
91 views

### Predicate Logic

How do I derive this? Pr 1 ∀x(Fx -> ∀xGx) ∴ ∀x(Fx -> ∀x(Gx \ / Hx)) My attempt: However I cannot used universal derivation due to the free x. I think using ass id and qn would be better ...
48 views

### Predicate Logic Proof Help! ∃xAx ∨ ∃yFy , ∀x(Ax → Fx) |= ∃xFx [closed]

I am unable to prove it :( I think I need to assume - ∃xFx but what follows later on?
77 views

### Predicate Logic - Are these two sentences equivalent?

Could you tell me if these two sentences are equivalent? If they aren't, what would be the correct sentence that is equivalent to (1)? Please explain. Thank you! (1) (∀x)[Ax→(∃y)(By & Txy)] (2) (...
29 views

### Homework Question on Quantified Logic Falsehood

For one of my homework challenge questions, I have a true or false type question. The question is as follows: True or False: I'm not particularly sure how to solve this. I have no information about ...
78 views

### Question about v-variants of variable assignments

In Full Predicate Calculus, some variable assignment q satisfies a disjunction under interpretation U if q satisfies one or both disjuncts under U, it satisfies a conjunction under interpretation U if ...
26 views

### Having trouble translating english to FOL

Having trouble with this phrase: Any column that contains a cube contains a tetrahedron, and vice versa. I tried this: ∀x ∀y ((Cube(x) ∧ Tet(y)) → SameCol(x, y)) which is incorrect because this says ...
66 views

### Truth Value of Definite Descriptions

I'm currently studying definite descriptions in logic. My textbook postulates Bertrand Russell's view of definite descriptions, but I'm curious about other views as well (in the context of classical 2-...
65 views

### SELF-REFERENCE AND THE LANGUAGES OF ARITHMETIC

Hello can someone explain me exacty how in this fragment of the paper (SELF-REFERENCE AND THE LANGUAGES OF ARITHMETIC, RICHARDG.HECK,JR.): (9) Tr(x) ≡∃y(rhs(x,y)∧¬Tr(y)), where rhs(x,y) is a formula ...
316 views

### Proof Using Model Universe

Suppose I am trying to prove the following argument (∀x)(Cx → Dx), (∀x)(Ex → ~Dx), /∴ (∀x)(Ex → ~Cx) Now, let's also assume that I don't know if this argument is valid or not. Because of this, I try ...
46 views

### What are some benefits of a second order logic?

I have read that a second-order logic can help one define equality by quantifying over all predicates such as what is done in the following definition: (x=y):⟺[∀P:P(x)⟺P(y)] By contrast a first-...
78 views

### How does one tell if logical expressions are equivalent?

How do I check if these expressions are equivalent? ∀a,b [P(a) ∧ ¬R(a) ∧ S(b)] → G(a,b) ∀a [(P(a) ∧ ¬R(a)) → (∀b [S(b) → G(a,b)])]