donde "P", y "Q" son proposiciones expresadas en algún sistema formal.