Is there a symbol for "not necessarily A"? Yes, [math]\neg\square A[/math]. You are after the two typical operators of Modal Logic: 1.
確定! 回上一頁