蕴涵操作反映了什么？

Question

我想知道蕴涵操作反映的是什么？

蕴涵算子的真值表：

using System;
class Implication
{
    static void Main()
    {
        bool p = false, q = false;
        int i, j;
        for (i = 0; i < 2; i++)
        {
            for (j = 0; j < 2; j++)
            {
                if (i == 0) p = true;
                if (i == 1) p = false;
                if (j == 0) q = true;
                if (j == 1) q = false;
                Console.WriteLine("p is " + p + ", q is " + q);
                if (!p | q) Console.WriteLine(p + " implies " + q +
                 " is " + true);
                Console.WriteLine();
            }
        }
    }
}

我的意思是为什么我们使用Implicatin操作？

Answer 1

“p暗示q”表示“如果p为真，那么q也必须为真”：

p       q       p implies q
false   false   true
false   true    true
true    false   false
true    true    true

您可以检查!p | q是否具有相同的真值表。