در منطق ریاضی عبارت هورن یک فرمول منطقی است که حداکثر یک لیترال (منطق ریاضی) مثبت داشته باشد. عبارت های هورن به افتخار آلفرد هورن ریاضی دان آمریکایی نام گذاری شده اند که برای اولین بار به اهمیت این عبارات در منطق اشاره کرد.
یک عبارت هورن یک عبارت منطقی (ترکیب فصل منطقی از تعدادی لیترال (منطق ریاضی)) است که حداکثر یک لیترال مثبت داشته باشد.عبارت هورن معمولاً به صورت زیر نوشته می شود:
L 1 ∧ L 2 ∧ ⋯ ∧ L n → L {\displaystyle L_{1}\wedge L_{2}\wedge \cdots \wedge L_{n}\rightarrow L}
که در آن n ≥ 0 {\displaystyle n\geq 0} و لیترال L {\displaystyle L} تنها لیترال مثبت است. با گسترش دادن استلزام منطقی می توان عبارت فوق را به صورت معادل زیر نیز نوشت.
یک عبارت هورن یک عبارت منطقی (ترکیب فصل منطقی از تعدادی لیترال (منطق ریاضی)) است که حداکثر یک لیترال مثبت داشته باشد.عبارت هورن معمولاً به صورت زیر نوشته می شود:
L 1 ∧ L 2 ∧ ⋯ ∧ L n → L {\displaystyle L_{1}\wedge L_{2}\wedge \cdots \wedge L_{n}\rightarrow L}
که در آن n ≥ 0 {\displaystyle n\geq 0} و لیترال L {\displaystyle L} تنها لیترال مثبت است. با گسترش دادن استلزام منطقی می توان عبارت فوق را به صورت معادل زیر نیز نوشت.
wiki: عبارت هورن