loginis sekmuo
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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.