Information om | Engelska ordet WFFS

Exempel på hur man kan använda WFFS i en mening

• For '~φ' (that is, the result of concatenating '~' and 'φ', in that order, from left to right) is not a well-formed formula (wff) of L, because no Greek letter can occur in well-formed formulas (wffs), according to the apparently intended meaning of the rules.
• Any line of any valid proof can be converted into a sequent by listing the wffs at the cited lines as the premises and the wff at the line as the conclusion.

Förberedelsen av sidan tog: 137,08 ms.