Definisi Hubungan independen (tak bertautan) dalam logika adalah dua pernyataan mempunyai hubungan independen manakala keduanya menampilkan permasalahan yang sama sekali terpisah, serupa pernyataan berikut:
kuda sumbawa kuat-kuat, Pohon asam berakar tunggang, semua kelinci adalah lemah, semua kelinci pemakan daun-daunan.
