Implikacja Michał: Witam. Mam pytanie odnośnie implikacji. Wiem, że nie zachodzi gdy 1⇒0, ale teraz gdy znajdę chociaż jeden przykład właśnie, że 1⇒0, to czy zachodzi implikacja? Jeżeli robię to metodą 0−1, to chodź w jednym wierszu wyjdzie mi, że zachodzi implikacja, to napisać, że zachodzi czy nie, albo może że nie zawsze?

PW: Panie mój, a nie możesz zacząć od przykładu? Takie "opowiadanie logiki" kończy się tragicznie. Domyślam się, że chcesz ocenić wartość logiczną implikacji i znalazłeś kontrprzykład. A tu pojawiła się u Ciebie logika trójwartościowa − prawdziwe, nieprawdziwe, nie zawsze prawdziwe.