Molekylär sats

En molekylär sats är generellt en sats, som kan delas upp i minst två atomära satser.

I satslogiken är en molekylär sats, en sats som är uppbyggd med hjälp av ett eller flera satslogiska konnektiv. Molekylära, är exempelvis satserna p → q och r → s ↔ t, där p, q, r, s och t är satsvariabler.

Källor

• Metalogic, An Introduction to the Metatheory of Standard First-Order Logic, Geoffrey Hunter , MACMILLAN AND CO LTD, London 1971.
• Logik, Göran Hermerén, Studentlitteratur Lund 1967.