Lóxica que manexa declaracións lóxicas formadas por disxuncións de cero ou máis literais negativos (variables proposicionais que conforman o corpo ou antecedente da clásula) e, como moito, un literal positivo (variable proposicional denominada cabeza ou consecuente da cláusula).
Categoría Gramatical:
locución substantiva feminina (axencia de seguros)
Sinónimos:
lóxica Horn
Ver tamén:
intelixencia artificial; web semántica
