commutativity of conjunction (Q13432)

From Azupedia
Jump to navigation Jump to search
rule of inference
Language Label Description Also known as
English
commutativity of conjunction
rule of inference

    Statements

    instance of
    theorem
    0 references
    rule of inference
    0 references
     
      Retrieved from "https://wiki.tiffa.net/w/index.php?title=Item:Q13432&oldid=66383"