görünen köy köy değildir

mantıksız önerme. görünüyorsa köydür?

görünen köy = köy (1) önermesini doğru kabul edelim. bu önermenin her iki tarafının değilini alalım. görünmeyen köy = köy değildir (2) sonucuna ulaşırız.
(2) nolu önermeyi yorumlayacak olursak; bizim görmüyor olmamız bir lokasyonun köy olmasını etkilemeyeceğinden (referans: orda bir köy var uzakta o köy bizim köyümüzdür. gitmesek de görmesek de o köy bizim köyümüzdür) bu önermeye yanlış deriz. yani biz görmüyor olsak bile köy köydür. böylece (2) numaralı önermenin yanlış olduğunu elde ederiz. (2) numaralı önermenin yanlış olması onun değili olan ilk başta verdiğimiz (1) numaralı önermenin yanlış olduğu anlamına gelmektedir. dolayısıyla, görünen köy = köy değildir (3) önermesini elde ederiz.

düzeltme: anlaşılabilirliğin artırılması.