| Conteúdo |
|
||||||||||||||||||||||
Fechar
Simetria: dado um predicado de dois lugares, se para todo par de expressões referenciais X e Y, a sentença XPY acarreta a sentença YPX, então P é simétrico.
Fechar
Reflexividade: dado um predicado de dois lugares P, se para toda expressão X (ou se para todo par de expressões referenciais X e Y, que tenham o mesmo referente), a sentença XPX (ou a sentença XPY) é analítica, então P é um predicado reflexivo. Ex: João é tão alto quanto ele mesmo.
Fechar
Transitivo: dado um predicado de dois lugares P, se para todo trio de expressões referenciais X, Y e Z a sentença composta XPY e YPZ acarreta a sentença XPZ, então P é transitivo. Ex: ‘O rei está na casa do tesouro’ e ‘a casa do tesouro fica em seu castelo’ acarreta ‘O rei está em seu castelo’. Logo o predicado ‘em’ é transitivo.
Fechar
DIFERENTE DE: x DIFERENTE DE y = y DIFERENTE DE x
Fechar
Assimetria: dado um predicado de dois lugares P, se a sentença XPY é uma contradição de YPX, então P é um predicado assimétrico.
Fechar
MAIS ALTO DO QUE: x MAIS ALTO DO QUE y >> ~ y MAIS ALTO DO QUE x
Fechar
Irreflexivo: dado um predicado de dois lugares P, se para toda expressão referencial X (ou se para todo par de expressões referenciais X e Y, que tenham o mesmo referente), a sentença XPX (ou a sentença XPY) for uma contradição, então P é um predicado irreflexivo.
Fechar
Intransitivo: dado um predicado de dois lugares P, se para todo trio de expressões referenciais X, Y e Z a sentença composta XPY e YPZ é uma contradição da sentença XPZ, então p é intransitivo. |
|