t_wの輪郭
RSS
記号
論理
論理記号
2024/3/17 12:12:00
∧
∨
⊥
∃
論理結合子
¬
∀
⊢
→
全称記号
論理記号
アプリオリ
すべての
all
∀
2024/3/17 13:09:00
すべての要素が条件を満たすことを示す
論理記号
あれ
含意
論理記号
論理包含
論理結合子
→
2024/3/17 12:12:00
あれ
論理記号
論理結合子
2024/3/17 12:27:00
∨
∧
¬
→
論理積
論理記号
論理結合子
かつ
∧
2024/3/17 12:11:00
存在記号
論理記号
アポステリオリ
exist
∃
2024/3/17 12:14:00
ある要素が条件を満たすことを示す
論理記号
論理記号
証明可能
ティー
ターンスタイル
⊢
2024/4/3 0:16:00
論理記号
否定
論理結合子
¬
2024/3/17 12:28:00
論理記号
矛盾
⊥
2024/3/17 12:12:00
論理記号
論理結合子
または
論理和
∨
2024/3/17 12:12:00