欢迎来到天天文库
浏览记录
ID：70963184
大小：66.50 KB
页数：3页
时间：2021-11-25
《真值表》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、联言判断包含两个联言支的联言判断，其逻辑形式可表示为：p并且q，合取式为：p∧q联言判断的真假（真值表）真值表表明：p∧q真，当且仅当p和q同真。pqp∧qTTTTFFFTFFFF选言判断1、相容选言判断逻辑形式：p或者q，p∨q真假表表明：p∨q假，当且仅当p和q同假。pqp∨qTTTTFTFTTFFF2、不相容选言判断逻辑形式：要么p，要么q,p∨q真值表表明：p∨q假，当且仅当p和q同真或同假。pqp∨qTTFTFTFTTFFF3假言判断充分条件假言判断1、充分条件假言判断：真假表表明：p→q为假，当且仅当p
2、真而q假。pqp→qTTTTFFFTTFFT2、必要条件假言判断：真值表表明：p←q为假，当且仅当p假而q真pqp←qTTTTFFFTFFFT3、充分必要条件假言判断真值表表明：pq真，当且仅当p和q同真或同假。pqpqTTTTFFFTFFFT负判断3逻辑形式：并非p，逻辑符号表示：“”或者“” TFFT•3
此文档下载收益归作者所有
