Konsekuensi logis

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. Sebagai contoh, "Kermit berwarna hijau" adalah konsekuensi logis dari "Semua katak berwarna hijau" dan "Kermit adalah seekor katak".