Last updated Unknown

Status: Tags: Links: Logic and Formal Reasoning

Open Statements or Predicates

slides 7-8

Principles

• x > 3, x has a brother
  • Consists of 2 parts
    • First part x is variable/subject of sentence
    • Second part, predicate, property the subject can have
  • P(x) is a predicate with variable x Types
• Unary means 1 variable, binary means 2, etc
• Predicate Logic

Backlinks

1

list from Open Statements or Predicates AND !outgoing(Open Statements or Predicates)

References:

Created:: 2021-09-23 09:59