title: 离散数学期中总结
date: 2023-4-14 23:38:17
tags: 离散数学
index_img: /img/10.png
命题逻辑
命题表达式
$p\bigvee q,p\bigwedge q,$
$p\rightarrow q=\neg{p}\bigvee q=\neg{q}\rightarrow\neg{p}$,
其真值表如下：
$p\leftrightarrow q=(p\rightarrow q)\bigwedge(q\rightarrow p)$
其真值表如下：
运算符优先级：$\neg>\bigwedge>\bigvee>\rightarrow>\leftrightarrow$
将自然语言翻译成命题表达式
一个例子：
命题表达式的真值表以及永真式、矛盾式与可能式
逻辑等价
常用的逻辑等价
