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