Q430954

From Wikidata
Jump to: navigation, search

Disjunctive syllogism(Q430954)

inference rule in logics : with "A or B" and "not A" deduce "B"
    No aliases defined
[edit]
Language Label Description Also known as
English
Disjunctive syllogism
inference rule in logics : with "A or B" and "not A" deduce "B"

    Statements

    /m/026y0
    1 reference
    0 references
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]