Question

逻辑推理：A且B→C为真，则B→C，C→B真假如何推理？

Answer 1

如下：

A且B为真，A真B也真。

A且B为假，A真B必假，A假B不一定。

要想命题为真。必须AB都是真的。

所以单独一个B就推出C，这显然不可能。比如A是假，即使B是真也推不出来。

而C反推B，C为真，那B也一定是真。第一句话说了，A且B为真，A真B也真。

简介

逻辑运算是数字符号化的逻辑推演法，包括联合、相交、相减。在图形处理操作中引用了这种逻辑运算方法以使简单的基本图形组合产生新的形体，并由二维逻辑运算发展到三维图形的逻辑运算。

由于布尔在符号逻辑运算中的特殊贡献，很多计算机语言中将逻辑运算称为布尔运算，将其结果称为布尔值。

Answer 2

已知A且B→C为真
A且B→C = 非（A且B）或C=非A或非B或C=非A或（B→C）
因此（B→C）的真值取决于A的真值，但A为真时B→C为真
因此当前条件下无法判断B→C的真值，C→B同理

ps：

楼上的二位一个没理解蕴含式，另一个没理解逻辑学的集合论
C反推B，C真B真的前提是命题确定为真，但这道题问的就是命题是否为真
A且B得C为真，指的是C是A和B的并集，交集是或的关系

Answer 3

A且B为真，A真B也真。
A且B为假，A真B必假，A假B不一定。
要想命题为真。必须AB都是真的。
所以单独一个B就推出C，这显然不可能。比如A是假，即使B是真也推不出来。
而C反推B，C为真，那B也一定是真。第一句话说了，A且B为真，A真B也真。
楼上的例子就很好。我再举个例子，
（有零食）A且（有可乐）B就（宅一天）C，为真。必定是必有零食必有可乐。
那么，单有一个可乐就能宅一天？显然不符合条件。
但是宅了一天已经实现了，在这个命题里，必定是要有零食有可乐的

Answer 4

A且B得C为真
可以理解为A和B的交集为C
则B箭头C为假
因为A和B的交集为C，C可以为B也可以为B的一部分。所以由C可以得到B为真