设前提集合r=|PVQ,P→R,Q→S},公式G=SVR.用演绎推理证明r→G.

时间: 2023-02-09 22:41:15 浏览: 106
设前提集合 $r = \{P \to R, Q \to S\}$,公式 $G = S \vee R$。 证明: 若 $P$ 成立,则根据 $P \to R$,$R$ 成立。 若 $Q$ 成立,则根据 $Q \to S$,$S$ 成立。 所以 $R$ 成立或者 $S$ 成立。 根据演绎推理的定义,若 $R$ 成立或者 $S$ 成立,则 $G$ 成立。 因此,可以得出 $r \to G$。
相关问题

设前提集合r=|PVQ,P→R,Q→S},公式G=SVR.证明r→G.

好的,我来帮助您证明这个命题。 首先,我们需要知道,对于任意两个命题变量P和Q,当P→Q成立时,就意味着如果P成立,那么Q一定成立。 接着,我们来看命题r。它是由三个命题变量的并集构成的,即r=|PVQ。这意味着r成立的条件是P或Q或P和Q都成立。 接下来,我们来看命题G。它的定义是G=SVR。我们可以把它看成由三个命题变量S、V、R的并集构成的。这意味着G成立的条件是S或V或R或S、V、R都成立。 现在,我们已经了解了r和G的定义,接下来我们可以证明r→G。 我们假设r成立。根据r的定义,这意味着P或Q或P和Q都成立。那么我们来分析三种情况: 1. 当P成立时,根据P→R这个前提命题,R一定成立。 2. 当Q成立时,根据Q→S这个前提命题,S一定成立。 3. 当P和Q都成立时,R和S都成立,因此G也成立。 综上所述,无论r成立的情况是哪一种,G都一定成立。因此,我们可以得出结论:r→G成立。

证明(P->R)A(Q->R)=(PVQ)->R

首先,我们可以使用条件推导法来证明等式左边等于等式右边。 假设(P->R)A(Q->R)为真,那么有两种情况: 1. 如果P->R为真,那么根据合取命题的真值表可知,(P->R)A(Q->R)等价于Q->R。 2. 如果Q->R为真,那么根据合取命题的真值表可知,(P->R)A(Q->R)等价于P->R。 因此,无论哪种情况,(P->R)A(Q->R)都可以转化为P->R或Q->R。 接下来,我们来证明等式右边。 假设(PVQ)->R为真,那么有两种情况: 1. 如果P为真,那么根据析取命题的真值表可知,(PVQ)为真,因此(PVQ)->R为真。 2. 如果Q为真,那么同样可得(PVQ)->R为真。 因此,无论哪种情况,(PVQ)->R都可以转化为P->R或Q->R。 综上所述,等式左边等于等式右边,证毕。

相关推荐

static void pvq_pyr_project(const Word16 dim_proj, /* end vector dimension+1 */ const Word16 *xabs, /* absolute vector values */ Word32 L_xsum, /* absolute vector sum over dim */ Word16 num, /* target number of pulses */ Word16 * y, /* projected output vector */ Word16 *pulse_tot_ptr, Word32 *L_xy_ptr, /* accumulated correlation Q(in+0+1) = Qin+1 */ Word32 *L_yy_ptr /* accumulated energy Q0 */ ) { // pvq_pyr_project(dim, xabs, L_xsum, pulses_proj[0], y_far, &pulse_tot_far, &L_xy, // &L_yy); /* outlier submode projection */ Dyn_Mem_Deluxe_In( Counter i; Word32 L_tmp, L_num; Word16 den, shift_num, shift_den, shift_delta, proj_fac; ); *pulse_tot_ptr = 0; move16(); *L_xy_ptr = L_deposit_l(0); *L_yy_ptr = L_deposit_l(0); shift_den = norm_l(L_xsum); /* x_sum input Qin */ den = extract_h(L_shl_pos(L_xsum, shift_den)); /* now in Qin+shift_den */ L_num = L_deposit_l(num); shift_num = sub(norm_l(L_num), 1); L_num = L_shl_pos(L_num, shift_num); /* now in Q0 +shift_num -1 */ proj_fac = div_l(L_num, den); /* L_num always has to be less than den<<16 , norm_l-1 makes that happen */ shift_delta = sub(shift_num, shift_den); FOR (i = 0; i < dim_proj; i++) { L_tmp = L_mult(proj_fac, xabs[i]); /* Q shift_delta + PVQ_SEARCH_QIN */ y[i] = extract_h(L_shr(L_tmp, shift_delta)); move16(); /* to Q0 with floor , and potential sturation */ ; *pulse_tot_ptr = add(*pulse_tot_ptr, y[i]); /* Q0 */ *L_yy_ptr = L_mac0(*L_yy_ptr, y[i], y[i]); /* Energy, Q0 */ *L_xy_ptr = L_mac(*L_xy_ptr, xabs[i], y[i]); /* Corr, Q0*Q12 +1 --> Q13 */ } Dyn_Mem_Deluxe_Out(); }

最新推荐

recommend-type

grpcio-1.63.0-cp38-cp38-linux_armv7l.whl

Python库是一组预先编写的代码模块,旨在帮助开发者实现特定的编程任务,无需从零开始编写代码。这些库可以包括各种功能,如数学运算、文件操作、数据分析和网络编程等。Python社区提供了大量的第三方库,如NumPy、Pandas和Requests,极大地丰富了Python的应用领域,从数据科学到Web开发。Python库的丰富性是Python成为最受欢迎的编程语言之一的关键原因之一。这些库不仅为初学者提供了快速入门的途径,而且为经验丰富的开发者提供了强大的工具,以高效率、高质量地完成复杂任务。例如,Matplotlib和Seaborn库在数据可视化领域内非常受欢迎,它们提供了广泛的工具和技术,可以创建高度定制化的图表和图形,帮助数据科学家和分析师在数据探索和结果展示中更有效地传达信息。
recommend-type

SQLyog-13.1.3-0.x86Community.exe

SQLyog-13.1.3-0.x86Community
recommend-type

VB自动出题题库系统设计(源代码+系统).rar

计算机专业毕业设计VB精品论文资源
recommend-type

debugpy-1.0.0b2-cp35-cp35m-manylinux1_i686.whl

Python库是一组预先编写的代码模块,旨在帮助开发者实现特定的编程任务,无需从零开始编写代码。这些库可以包括各种功能,如数学运算、文件操作、数据分析和网络编程等。Python社区提供了大量的第三方库,如NumPy、Pandas和Requests,极大地丰富了Python的应用领域,从数据科学到Web开发。Python库的丰富性是Python成为最受欢迎的编程语言之一的关键原因之一。这些库不仅为初学者提供了快速入门的途径,而且为经验丰富的开发者提供了强大的工具,以高效率、高质量地完成复杂任务。例如,Matplotlib和Seaborn库在数据可视化领域内非常受欢迎,它们提供了广泛的工具和技术,可以创建高度定制化的图表和图形,帮助数据科学家和分析师在数据探索和结果展示中更有效地传达信息。
recommend-type

实战自学python如何成为大佬(目录):https://blog.csdn.net/weixin-67859959/artic

实战自学python如何成为大佬(目录):https://blog.csdn.net/weixin-67859959/artic
recommend-type

zigbee-cluster-library-specification

最新的zigbee-cluster-library-specification说明文档。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

MATLAB柱状图在信号处理中的应用:可视化信号特征和频谱分析

![matlab画柱状图](https://img-blog.csdnimg.cn/3f32348f1c9c4481a6f5931993732f97.png) # 1. MATLAB柱状图概述** MATLAB柱状图是一种图形化工具,用于可视化数据中不同类别或组的分布情况。它通过绘制垂直条形来表示每个类别或组中的数据值。柱状图在信号处理中广泛用于可视化信号特征和进行频谱分析。 柱状图的优点在于其简单易懂,能够直观地展示数据分布。在信号处理中,柱状图可以帮助工程师识别信号中的模式、趋势和异常情况,从而为信号分析和处理提供有价值的见解。 # 2. 柱状图在信号处理中的应用 柱状图在信号处理
recommend-type

用Spring boot和vue写一个登录注册界面

好的,这是一个比较常见的技术问题,我可以为您提供一些参考资料和思路。首先,您可以使用Spring Boot作为后端框架来处理用户认证和注册的逻辑,比如使用Spring Security实现用户登录认证。同时,您还需要设计相应的数据模型和数据库表结构来存储用户信息。在前端方面,您可以使用Vue.js作为框架来构建登录注册页面,使用Axios来发起API请求并和后端进行交互。当然,在实现过程中,还需要考虑一些具体细节,比如数据校验、安全性和用户体验等方面。希望这些信息能够帮助到您。
recommend-type

JSBSim Reference Manual

JSBSim参考手册,其中包含JSBSim简介,JSBSim配置文件xml的编写语法,编程手册以及一些应用实例等。其中有部分内容还没有写完,估计有生之年很难看到完整版了,但是内容还是很有参考价值的。