Well-formed formula
id:
well-formed-formula-161-11499142
title:
Well-formed formula
text:
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language. The abbreviation wff is pronounced "woof", or sometimes "wiff", "weff", or "whiff". A formal language can be identified with the set of formulas in the language. A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of
brand slug:
wiki
category slug:
encyclopedia
description:
Syntactically correct logical formula
original url:
https://en.wikipedia.org/wiki/Well-formed_formula
date created:
2003-12-16T19:14:03Z
date modified:
2024-08-27T08:24:18Z
main entity:
{"identifier":"Q655328","url":"https://www.wikidata.org/entity/Q655328"}
image:
fields total:
13
integrity:
15