Skip to content

小测1

:material-circle-edit-outline: 约 130 个字

小测1

image-20240603095849113

二元关系连接词反映的是逻辑意义，本质是两张真值表，有几种真值表就有几个连接词

两个变量有4种赋值，每个赋值有2种可能，所以有 \(2^4\) 种真值表，即这么多种连接词

答案就是 \(16-4=12\)

命题演算是基于真值表的演算，而所谓的逻辑意义就是真值表本身

image-20240603094357233

两种做法，正推和反证

image-20240603100733085

正推做法写草稿纸上了，其实很简单

image-20240603095052942

image-20240603101145404

image-20240603101201920

image-20240603095107759

image-20240603101319817