This notation: S={x|Fx} where Fx is some logical fomula of x(adsbygoogle = window.adsbygoogle || []).push({});

I have never seen this formally defined, only explained in words and used. I think that it logically means that "a is an element of S" is logically equivalent to "Fa." Am I right?

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Logical meaning of notation

Loading...

Similar Threads for Logical meaning notation |
---|

A About the “Axiom of Dependent Choice” |

B Linear logic, what is it? |

Logic & science |

B What is the usefulness of formal logic theory? |

B Conditional Probability, Independence, and Dependence |

**Physics Forums | Science Articles, Homework Help, Discussion**