- p

- Øp V q

- p → q

**...**

## Horn clause

A Horn clause is a proposition in propositional logic that contain at most one positive literal. For example a propositional letter preceded by a positive sign and an arbitrary number of negative literals i.e propositional letters preceded by a negation sign.Here

**p →**Ø

**q**is not a Horn clause because it contain one positive literal (p) and one negative literal (Ø

**q**).

So it does not follow the condition of the above definition. You can see below example of a horn clause.

### A simple example of a Horn clause is:

P → Qwhere P and Q are propositional letters. This clause states that if P is true, then Q must also be true.

## 0 Answered this Question:

Unleash Your Voice, Share Your Thoughts: Join the Question-Answering Revolution