converse of Barcan formula
دیسه‌ای
□∀𝑥 𝐴𝑥 ⊃ ∀𝑥 □𝐴𝑥
□∀x Ax ⊃ ∀x □Ax


تاربرگ‌های پیموده‌شده در این نشست: Affirming the consequent ⟩ Justified True Belief ⟩ greatest lower bound ⟩ modus ponendo ponens ⟩ commutativity of conjunction