afirmativa
proposição que afirma

analítico
proposição analítica

apagogia
...de uma proposição pelo absurdo da

asserto
proposição afirmativa

asserção
proposição, afirmativa ou negativa, enunciada como verdadeira

co-variante
...de uma proposição ou de uma definição em que as condições suficientes são predominantes

conclusão
...e última proposição, que decorre das premissas anteriores

contraditória
proposição oposta a outra

corolário
...de uma proposição já demonstrada

criteriologia
...de uma proposição

disjuntivo
...diz-se da proposição que exprime alternativa através do conectivo ou

dogma
proposição apresentada como irrefutável

enunciado
...de uma proposição a definir, explicar ou demonstrar

enunciação
proposição

filosofema
proposição filosófica

gramaticalidade
...de uma proposição que obedece às regras sintácticas próprias de uma língua, mesmo que seja desprovida de sentido

inversa
proposição invertida

lema
proposição preliminar para preparar ou facilitar a demonstração de um teorema

léxis
...designar uma proposição que se enuncia sem que seja afirmada nem negada a sua verdade

negativa
proposição que é a negação doutra ou que serve para negar

oracional
...oração ou proposição

postulado
proposição admitida implícita ou explicitamente como princípio de dedução ou de acção

postular
pôr (uma proposição) como postulado

proposicional
relativo a proposição

propositivo
relativo a proposição

propositura
proposição

prótase
proposição condicional, num período hipotético

tautologia
proposição dada como explicação ou como prova, mas que, na realidade, apenas repete, em termos idênticos ou equivalentes, o que já foi dito

teorema
proposição que se demonstra por dedução lógica a partir de proposições já demonstradas ou admitidas como verdadeiras

tese
proposição que alguém expõe para debate e defesa em caso de refutação