形式化建模与分析方法

标签：wedge vee 分析方法 建模 形式化 vdash

形式化建模与分析方法

题目

证明下列命题逻辑演算：

\[\begin{array}{l}{(2)(P\vee Q)\wedge(P\vee R)\vdash P\vee(Q\vee R)}\\{(3)P\wedge(Q\leftrightarrow R)\vdash(P\wedge Q)\leftrightarrow(P\wedge R)}\end{array} \]

将例(3)的证明过程自己手写一遍

标签：wedge,vee,分析方法,建模,形式化,vdash
From： https://www.cnblogs.com/jihuiting2/p/17678762.html