query: First Order Logic: Write a sentence which makes the domain a square number
positive_passages.docid: 151323
positive_passages.text: Find a first order sentence satisfied by models with square domain.
negative_passages.docid: 147556
negative_passages.text: Express logic puzzles with proposition calculus notation
negative_passages.docid: 102829
negative_passages.text: Should I capitalise the first letter when a sentence starts with a number?
negative_passages.docid: 92124
negative_passages.text: Spacing of relation and operation symbols with propositions
negative_passages.docid: 149058
negative_passages.text: ConTeXt: Flush right formula numbers in cases environment
negative_passages.docid: 77736
negative_passages.text: Quantifier Order Matters?
negative_passages.docid: 98386
negative_passages.text: First-order logic and second-order logic confusion
negative_passages.docid: 65772
negative_passages.text: How can I convert an integer into its verbal representation?
negative_passages.docid: 53199
negative_passages.text: First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
negative_passages.docid: 140433
negative_passages.text: The number of ways of writing an integer as a sum of two squares
negative_passages.docid: 71670
negative_passages.text: Predicates and Quantifiers?
negative_passages.docid: 103483
negative_passages.text: How can this English sentence be translated into a logical expression? ( Translating " unless")
negative_passages.docid: 29099
negative_passages.text: Let consider a square $10$x$10$ and write in the every unit square the numbers from $1$ to $100$
negative_passages.docid: 125950
negative_passages.text: Proof strategy involving first order logic for existential quantification at very beginning
negative_passages.docid: 17224
negative_passages.text: Write ‘There is exactly 1 person…’ without the uniqueness quantifier
negative_passages.docid: 73846
negative_passages.text: Tell Wolfram Alpha that a variable is a natural number
negative_passages.docid: 120510
negative_passages.text: How to write this statement in mathematical notation?