نظرية، =

H

E

فرضية خاضعة للاختبار، = ¬

نفي، = ∨

انفصال منطقي، = ⇒

نتيجة استنتاجية، = A

افتراضات سابقة.

يقدم لنا تاريخ علم الفلك أمثلة مفيدة لتوضيح وتقييم أطروحة دوهيم-كواين.

لندعم أولا مخطط بوبر للدحض ببعض الافتراضات السابقة الإضافية

Shafi da ba'a sani ba