c# - 含意操作は何を反映しますか?

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();
            }
        }
    }
}

つまり、なぜ暗黙操作を使用するのでしょうか?

Answer 1

「p は q を意味する」は、「p が true の場合、q も true でなければならない」という意味です。

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

!p | qが同じ真理値表を持っていることを確認できます。