Spójniki logiczne - matryce

Gdy argument jest zdaniem prawdziwym, to zdanie powstałe przez poprzedzenie go spójnikiem negacji jest fałszywe. Gdy natomiast argument jest fałszywy, to zdanie powstałe przez poprzedzenie go spójnikiem negacji jest prawdziwe.

Spójnik alternatywy tym się charakteryzuje, że powstałe z niego zdanie jest prawdzie już wtedy, gdy chociaż jeden z jego argumentów jest prawdziwy. Gdy zaś oba argumenty są fałszywe, to zdanie zbudowane za pomocą spójnika alternatywy też jest fałszywe.

Zdanie powstałe ze spójnika implikacji jest FAŁSZYWE tylko wtedy, gdy poprzednik jest prawdziwy, a następnik fałszywy.

Spójnik równoważności tym sie charakteryzuje, że powstałe z niego zdanie jest prawdziwe wtedy, gdy oba argumenty mają taką samą wartość logiczną, a więc oba są prawdziwe albo oba są fałszywe.

Spójnik koniunkcji tym się charakteryzuje, że powstałe z niego zdanie jest prawdziwe tylko wtedy, gdy oba jego argumenty są prawdziwe. Gdy zaś choć jeden z argumentów jest fałszywy, to zdanie zbudowane za pomocą spójnika koniunkcji też jest fałszywe.