false (False)

The TruthValue of being false.

Ontologie

SUMO / QUALITIES

Class(es)

pravdivostní hodnota

false

Související termín(y)

likely true unlikely

Related WordNet synsets

counterfactuality: the quality of being contrary to fact
untruthfulness: the quality of being untruthful
falsehood, falsity, untruth, false statement: a false statement
falsity, falseness: the state of being false or untrue; "argument could not determine its truth or falsity"
false: not in accordance with the fact or reality or actuality; "gave false testimony under oath"; "false tales of bravery"
falsely, incorrectly: in an incorrect manner; "to credit Lister with the first formulation of the basic principle of stratigraphy would be to bestow credit falsely"

See more related synsets on a separate page.

Axiomy (4)

jestliže agent prefers formula1 over formula2,
potom jestliže formula1 is true, potom formula2 is false

(=>
      (prefers ?AGENT ?FORMULA1 ?FORMULA2)
      (=>
            (true ?FORMULA1 True)
            (true ?FORMULA2 False)))

contrary attribute(false,true) platí.

(contraryAttribute False True)

Jestliže formula má atribut likely, potom "probability fn(formula is true)" je větší než "probability fn(formula is false)".

(=>
      (property ?FORMULA Likely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA True))
            (ProbabilityFn
                  (true ?FORMULA False))))

Jestliže formula má atribut unlikely, potom "probability fn(formula is false)" je větší než "probability fn(formula is true)".

(=>
      (property ?FORMULA Unlikely)
      (greaterThan
            (ProbabilityFn
                  (true ?FORMULA False))
            (ProbabilityFn
                  (true ?FORMULA True))))