UEB Math Tutorial
  -   Use 6 Dot Entry       Switch to UEB Math Tutorial

Lesson 11.12: Logical Operators For All, There Exists, and Therefore

For All


⠈⠯

In print, this looks like an up-side-down capital "A."

In braille, this is a dot four followed by dots one, two, three, four, and six.

The "for all" symbol is commonly used in logic and set theory. For example to show, "for all x" you write the "for all" symbol followed by an x or a subscripted x as follows:

for all x

x
⠈⠯⠭

for all, subscripted x

x
⠈⠯⠰⠭

There Exists


⠈⠿

In print, this looks like a backwards capital "E."

In braille, this is a dot four, followed by a full cell.

The "there exists" symbol is commonly used in logic and set theory. For example to say, "there exists an element x" as follows:

x
⠈⠿⠭

or there exists, subscript x

x
⠈⠿⠰⠭

Therefore


⠠⠡

In print, this looks like three triangular dots.

In braille, this is a dot six followed by dots one and six.

Example 1

xP(x)
⠈⠯⠰⠭⠠⠏⠷⠭⠾

Example 2

xP(x)
⠈⠿⠭⠠⠏⠷⠭⠾

Example 3

p
⠠⠡⠏

Example 4

¬xQ(x)
⠈⠱⠈⠿⠭⠠⠟⠷⠭⠾

Example 5

x(x2x)
⠈⠯⠭⠷⠭⠘⠆⠀⠨⠂⠱⠀⠭⠾

previous - next (exercises)