lòginis sekmuõ, teiginys, logiškai nulemtas kitų teiginių kaip pagrindo ir iš jų išvestas. Sintaksiškai loginis sekmuo yra iš duotųjų prielaidų logiškai išvestas teiginys. B yra išraiškos A sekmuo, kai A|– B (B išvedama iš A) yra tapačiai teisinga. Semantiškai loginis sekmuo apibrėžiamas prielaidų ir išvados santykiu su jų aprašoma tikrove vartojant modelio, galimų pasaulių sąvokas ir įvedant interpretacijos taisykles.
314