Considerando dos proposiciones A y B, cada una como un todo (sea como proposición atómica o molecular) y asimismo cada una con sus dos posibles valores de verdad V (Verdadero) y F (Falso), y considerando su relación "$" como variable de cualquier relación sintáctica posible que defina una función de verdad, podrían suceder los casos siguientes:

NOTA: Las proposiciones A, B, C,.... mayúsculas simbolizan cualquier proposición, atómica o molecular, por lo que propiamente son expresiones metalingüísticas respecto al lenguaje objeto de la lógica proposicional, generalmente simbolizadas con minúsculas p, q, r, s... como proposiciones atómicas.... El resto está en la wikipedia!!!