Definition talk:Logical Formula

From ProofWiki
Jump to navigation Jump to search

Is this the same as a statement form (possibly only in PropCalc), or is it (in spite of what is on the page) a compound statement (again, possibly of PropLog)? I can't determine it from the given context. It may even be specifically in the formal language for PropCalc with Boolean Interpretations. Compare what is written on Definition:Tautology. --Lord_Farin 10:23, 23 June 2012 (UTC)

Good question - depends who you read (some writers are more exact than others and I don't immediately remember where I got this definition from). Might be a good idea to make a redirect to Definition:Statement Form. Probably doesn't matter too much. --prime mover 13:09, 23 June 2012 (UTC)
Done as suggested. Statement form page amended. --Lord_Farin 13:40, 23 June 2012 (UTC)