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