Formula bene formata

In logica mathematica formula bene formata est sequentia symbolorum verborumve cuiusdam in quadam linguae formali sive naturali quae est quoad syntaxin spectat recte constructa et cui dari possit significatio semantica. Formulae bene formatae ergo non sunt necessitudine intelligibiles.Vide inter alia hanc tractationem de coniunctione syntaxis semanticaeque et sententiam Chomskianam praeclaram hanc dissimilitudinem illustrantem Colorless green ideas sleep furiously.

Notae

Demonstratio mathematica
Formula (mathematica)
Logica propositionalis
Syntaxis

Categoria:Logica
Categoria:Syntaxis