斯多葛逻辑中的“若是白昼，则有光”

“若是白昼，则有光”（εἰ ἡμέρα ἐστίν, φῶς ἐστίν）是古代资料中反复用于说明斯多葛条件命题的例子。斯多葛逻辑主要分析完整命题及其联结，而不是亚里士多德式主词—谓词项之间的包含关系，因此常被视为命题逻辑史的重要阶段。

第欧根尼·拉尔修记载，克律西波认为一个真条件句要求：后件的否定同前件不相容。于是“是白昼”同“没有光”之间的冲突保证了条件联系。古代不同学派对条件句的真值标准存在竞争定义，不能把整个斯多葛逻辑都压缩成现代真值表。

这个例句也不是简单同义反复：“白昼”和“光”并非同一个词，条件关系需要相应的自然观和语义规则。它的经典地位来自对条件句标准的示范，而非因为“飞机一定会飞”式的定义性重言。