Logically Complete Sets of Connectives
{~, v} form a logically complete set.
P & Q = ~(~P v ~Q)
{~, ->} form a logically complete set
P & Q = ~(P -> ~Q)
{~, &} form a logically complete set
P v Q = ~(~P & ~Q)
Previous slide
Next slide
Back to first slide
View graphic version