hatZurFolge (entails)

The operator of logical entailment. (entails formula1 formula2) means that formula2 can be derived from formula1 by means of the proof theory of SUO-KIF.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

logischer Operator

hatZurFolge

Coordinate term(s)

<=> => and exists forall not or

Type restrictions

entails(Formel, Formel)

Related WordNet synsets

proof: (logic or mathematics) a formal series of statements showing that if one thing is true something else necessarily follows from it
entail, imply, mean: have as a logical consequence; "The water shortage means that we have to stop taking long showers"
follow: come as a logical consequence; follow logically; "It follows that your assertion is false"

See more related synsets on a separate page.

Axioms (2)

Wenn situation1 hält während time und situation1 hat situation2 zur Folge , dann situation2 hält während time .

(=>
      (and
            (holdsDuring ?TIME ?SITUATION1)
            (entails ?SITUATION1 ?SITUATION2))
      (holdsDuring ?TIME ?SITUATION2))

Wenn die Aussage formula1 hat die modale Kraft von prop und formula1 hat formula2 zur Folge , dann die Aussage formula2 hat die modale Kraft von prop.

(=>
      (and
            (modalAttribute ?FORMULA1 ?PROP)
            (entails ?FORMULA1 ?FORMULA2))
      (modalAttribute ?FORMULA2 ?PROP))