Sejam P o conjunto não vazio formado por todos os pintores renascentistas da história da humanidade e p um elemento desse conjunto.
Considere as propriedades E e A, definidas no conjunto P:
• E(p): “p foi escultor”
• A(p): “p foi arquiteto”
Admita verdadeira a proposição ∄𝑝(¬𝐸(𝑝) ∨¬𝐴(𝑝)). Logo