Formal Semantics - Translating English into a Logical Metalanguage - Simple statements in predicate logic

3 important questions on Formal Semantics - Translating English into a Logical Metalanguage - Simple statements in predicate logic

How do we use variables in semantics?

By putting a non-reffering letter between brackets behind the predicate letter.

What happens if there is more than one subject in predicate logic?

Then both subjects are put behind the predicate letter between brackets. Order does matter.

How can we write down a relative clause in predicate logic?

By using the symbol for "and".

The question on the page originate from the summary of the following study material:

  • A unique study and practice tool
  • Never study anything twice again
  • Get the grades you hope for
  • 100% sure, 100% understanding
Remember faster, study better. Scientifically proven.
Trustpilot Logo