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