Paradoks gagak

cukup untuk pengamatan non-hitam non-gagak untuk memberikan lebih sedikit bukti daripada pengamatan gagak hitam. Di sini, garis atas proposisi menunjukkan negasi logis dari proposisi itu.