Konsekuensi logis

Konsekuensi logis (gabungan dari konsekuensi + logis), sering dianggap suatu konsep paling dasar dalam logika, adalah hubungan antara suatu kalimat (atau proposisi) 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 (atau keduanya). Konsekuensi logis dapat pula diekspresikan sebagai suatu fungsi dari himpunan kalimat terhadap himpunan kalimat lain (formulasi Tarski), atau sebagai hubungan antara dua himpunan kalimat (logika simpulan jamak).