mostrar texto associado

Simbolicamente, a proposição P pode ser expressa na forma (p→q)^ (r→s), em que p, q, r e s são proposições convenientes e os símbolos → e ^ representam, respectivamente, os conectivos lógicos “se ..., então” e “e”.