Last updated Unknown

Status: Tags: Links: Logic and Formal Reasoning

Quantifiers

Principles

• Logic statements are meaningless until we add a universe
• Quanifier Variables
• Negating Quantifiers

Uses

• Definitions
  • 8-7, mother (M(x,y)) of x is female parent of x P(x,y) ^ Q(y) where Q(y) means female and P(x,y) means y is a parent of x
• Rules
• Theorems

Universes

• Universal Quantifiers
• Existential Quantifiers

Expressions

• For every …
• There is … such that …
• A … can be found …
• Any … is …

Example Translation

Practice

• Tutorial 3
• Section 2.4
  • p100-102 1,2,4acij,9a(i,iv),12(vii,viii)
  • p100-102 17ab,18ac,25a
  • p116 7b,8b

Backlinks

1

list from Quantifiers

References:

Created:: 2021-07-12 16:07