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

A⥽(B∨¬B)

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

تاربرگ‌های پیموده‌شده در این نشست: Zur Logik der Modalitäten ⟩ گویایی ارستو ⟩ پور سینا ⟩ ادوارد جان لمون ⟩ آلن تورینگ