Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, bem como os símbolos logísticos ~ negação, ^ e, v ou, - se então, - se e somente se, tal que, podemos criar a proposição Paulo