Conseqüència llògica
En llògica, la conseqüència llògica és la relació entre les premisses i la conclusió d'un argument deductivament vàlit. La relació de conseqüència llògica és un concepte central a la llògica. Dos característiques generalment acceptades de la relació de conseqüència llògica són que és necessària i a més formal.