Na lógica proposicional são empregados os conectivos "e", "ou", "implica (unidirecional)", e "birdiecional".
