Proposizione (logica): differenze tra le versioni

4. La disgiunzione esclusiva

 

Oltre a quanto già detto a proposito della logica aristotelica e della logica delle proposizioni, le proposizioni sono ciò che viene espresso dalla [[logica dei predicati]]. ''(x)Fx'' è un modo per esprimere una proposizione, laddove né ''F'' né ''x'' sono proposizioni. Uno dei principali obiettivi della logica dei predicati è quello di afferrare la struttura delle proposizioni indipendentemente dalle dichiarazioni che le esprimono.