Konsekuensi logis

Konsekuensi logis, sering dianggap suatu konsep paling dasar dalam logika, adalah hubungan antara suatu kalimat dan kalimat lain (proposisi) sewaktu kalimat yang terakhir "mengikuti" kalimat sebelumnya. Suatu hubungan konsekuensi logis yang terspesifikasi dengan formal dapat dikarakterisasikan dengan teori model atau teori pembuktian. Konsekuensi logis dapat pula diekspresikan sebagai suatu fungsi dari himpunan kalimat terhadap himpunan kalimat lain, atau sebagai hubungan antara dua himpunan kalimat.