Propositioner och »ist