t_wの輪郭

記号論理
⊢∀￢論理結合子∃

⊢

2024/4/2 15:16:00

∀

2024/3/17 4:09:00

すべての要素が条件を満たすことを示す論理記号

￢

2024/3/17 3:28:00

∃

2024/3/17 3:14:00

ある要素が条件を満たすことを示す論理記号

→

2024/3/17 3:12:00

⊥

2024/3/17 3:12:00

∨

2024/3/17 3:12:00

∧

2024/3/17 3:11:00