BSTS / Mantık Terimleri Sözlüğü
mantıksal sonuç anlamı İng. logical consequence, semantic consequence Osm. mantıkî netice Alm.logische Folgerung Fr.conséquence logique
p önermesinin K gibi bir önerme kümesinin mantıksal bir sonuç'u olması, K nın p yi içermesi (K||—p) demektir. || Anl. yorumsal sonuç, sonurgu.