آشنایی با A⥽(B∨¬B) چیست؟معنی A⥽(B∨¬B) یعنی چه؟ آشنایی با S2 چیست؟معنی S2 یعنی چه؟

A⥽(B∨¬B)

برابر انگلیک (انگلیسی): S2