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

A⥽(B∨¬B)

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

تاربرگ‌های پیموده‌شده در این نشست: جبر درونی ⟩ اینهمانی بایسته