Vacuous truth
Genel bilgiler
Bazen bir ifadenin gerçekten hiçbir şey söylemediği için boşuna doğru olduğu söylenir.
Daha resmi olarak, nispeten iyi tanımlanmış bir kullanım, yanlış öncülü olan bir koşullu ifadeye (veya evrensel bir koşullu ifadeye) atıfta bulunur.
Böyle bir ifadenin bir örneği "eğer olduğunu Londra içindedir Fransa'da, ardından Eyfel Kulesi ise Bolivya'da". Bu tür ifadeler boş doğrular olarak kabul edilir, çünkü öncülün yanlış olması, ifadenin sonucun doğruluk değeri hakkında herhangi bir çıkarım yapmak için kullanılmasını engeller.