Formula ben formata: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto

Versione delle 14:14, 12 nov 2014 modifica Botcrux (discussione \| contributi) Bot 3 554 083 modifiche m Bot, replaced: Categoria:Linguaggi formali → Categoria:Teoria dei linguaggi formali ← Differenza precedente		Versione attuale delle 15:07, 6 dic 2020 modifica annulla Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 167 109 modifiche m acronimo
(2 versioni intermedie di 2 utenti non mostrate)
Riga 1: {{S\|logica}} Nella [[logica matematica]] si chiama '''formula ben formata''' o - brevemente - '''~~fbf~~FBF''' di un [[sistema formale]] una [[Stringa (linguaggi formali)\|stringa]] di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della [[grammatica formale\|grammatica del sistema formale]] stesso. Definizioni specifiche di formula ben formata vengono date nell'ambito della [[logica proposizionale]] e dei [[linguaggio del primo ordine\|linguaggi del primo ordine]]. == Collegamenti esterni == {{Portale\|filosofia\|matematica}}▼ * {{Collegamenti esterni}} ▲{{Portale\|filosofia\|linguistica\|matematica}} [[Categoria:Logica matematica]]