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

A⥽(B∨¬B)

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

تاربرگ‌های پیموده‌شده در این نشست: پور سینا ⟩ آلن تورینگ ⟩ همتایی گویایی‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گویایی‌های سویی , S4 و فرا S4