逻辑符号

EmoryHuang小于 1 分钟

序号	符号	LaTex	序号	符号	LaTex
1	$\forall$	`\forall`	20	$\neg$	`\neg`
2	$\exists$	`\exists`	21	$\not\operatorname{R}$	`\not\operatorname{R}`
3	$\nexists$	`\nexists`	22	$\bot$	`\bot`
4	$\therefore$	`\therefore`	23	$\top$	`\top`
5	$\because$	`\because`	24	$\vdash$	`\vdash`
6	$\And$	`\And`	25	$\dashv$	`\dashv`
7	$\lor$	`\lor`	26	$\vDash$	`\vDash`
8	$\vee$	`\vee`	27	$\Vdash$	`\Vdash`
9	$\curlyvee$	`\curlyvee`	28	$\models$	`\models`
10	$\bigvee$	`\bigvee`	29	$\Vvdash$	`\Vvdash`
11	$\land$	`\land`	30	$\nvdash$	`\nvdash`
12	$\wedge$	`\wedge`	31	$\nVdash$	`\nVdash`
13	$\curlywedge$	`\curlywedge`	32	$\nvDash$	`\nvDash`
14	$\bigwedge$	`\bigwedge`	33	$\nVDash$	`\nVDash`
15	$\bar{q}$	`\bar{q}`	34	$\ulcorner$	`\ulcorner`
16	$\bar{abc}$	`\bar{abc}`	35	$\urcorner$	`\urcorner`
17	$\overline{q}$	`\overline{q}`	36	$\llcorner$	`\llcorner`
18	$\overline{abc}$	`\overline{abc}`	37	$\lrcorner$	`\lrcorner`
19	$\lnot$	`\lnot`

# 逻辑符号